hide
Title:
Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97)
Source Genre:
Proceedings
Creator(s):
Bonacina, Maria Paola, Editor
Furbach, Ulrich, Editor
Affiliations:
-
Publ. Info:
Linz, Austria : Johannes Kepler Universität
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
130 - 134
Identifier:
-