FTP 2000 -- Third International Workshop on First-Order Theorem Proving, St Andrews, Scotland, July 2000
Publikationstyp: Diverses
Autoren
Baumgartner, P. (Autor)
Z, H. (Autor)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
Publikationstyp: Diverses
DDC Sachgruppe:
Allgemeines, Wissenschaft