Matches in VIAF for { ?s ?p International Conference on Theorem Proving in Higher Order Logics. }
Showing items 1 to 15 of
15
with 100 items per page.
- 124200024 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 125173010 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 125282939 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 125737785 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 126397036 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 132789378 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 134607169 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 141652301 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 142147173 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 147701370 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 153633516 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 154802758 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 172379285 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- 177765240 alternateName "International Conference on Theorem Proving in Higher Order Logics".
- skos:Concept altLabel "International Conference on Theorem Proving in Higher Order Logics".