First-order Logic and Automated Theorem Proving

von Melvin Fitting

Gebunden

ISBN-13: 978-3-540-97233-4

ISBN-10: 3-540-97233-1

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 1990

S. auch:
2013PaperbackFirst-Order Logic and Automated Theorem Proving (Texts in Computer Science)
1995HardcoverFirst-Order Logic and Automated Theorem Proving (Texts in Computer Science)
1990HardcoverFirst-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)