Matches in VIAF for { <http://viaf.org/viaf/133513330> ?p ?o. }
Showing items 1 to 6 of
6
with 100 items per page.
- 133513330 alternateName "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 14 2005 Koblenz".
- 133513330 alternateName "Tableaux".
- 133513330 name "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods".
- 133513330 sameAs 10116164-5.
- 133513330 type Organization.
- 133513330 seeAlso skos:Concept.