Matches in VIAF for { ?s ?p International Conference on Interactive Theorem Proving. }
Showing items 1 to 11 of
11
with 100 items per page.
- 140986450 alternateName "International Conference on Interactive Theorem Proving".
- 184034154 alternateName "International Conference on Interactive Theorem Proving".
- 263105369 alternateName "International Conference on Interactive Theorem Proving".
- 274210089 alternateName "International Conference on Interactive Theorem Proving".
- 278193589 alternateName "International Conference on Interactive Theorem Proving".
- 305031189 alternateName "International Conference on Interactive Theorem Proving".
- 310621337 alternateName "International Conference on Interactive Theorem Proving".
- 310691308 alternateName "International Conference on Interactive Theorem Proving".
- 140986450 name "International Conference on Interactive Theorem Proving".
- 184034154 name "International Conference on Interactive Theorem Proving".
- skos:Concept altLabel "International Conference on Interactive Theorem Proving".