First-Order Logic and Automated Theorem Proving

S. auch:
1995HardcoverFirst-Order Logic and Automated Theorem Proving (Texts in Computer Science)

von Melvin Fitting

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

Gebunden

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

ISBN-10: 3-540-97233-1