First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

Automated

by Melvin Fitting

Hardcover

ISBN: 978-0-387-97233-6

ISBN-10: 0-387-97233-1

Springer Verlag · 1990
See also:
2013PaperbackFirst-Order Logic and Automated Theorem Proving (Texts in Computer Science)
1995HardcoverFirst-Order Logic and Automated Theorem Proving (Texts in Computer Science)
1990Gebundene AusgabeFirst-order Logic and Automated Theorem Proving