Matches in VIAF for { ?s ?p Workshop on Theorem Proving with Analytic Tableaux and Related Methods. }
Showing items 1 to 4 of
4
with 100 items per page.
- 133336387 alternateName "Workshop on Theorem Proving with Analytic Tableaux and Related Methods".
- 132042863 name "Workshop on Theorem Proving with Analytic Tableaux and Related Methods".
- 133336387 name "Workshop on Theorem Proving with Analytic Tableaux and Related Methods".
- 150933330 name "Workshop on Theorem Proving with Analytic Tableaux and Related Methods".