First-Order Logic and Automated Theorem Proving - Softcover

Fitting, Melvin

 
9781468403589: First-Order Logic and Automated Theorem Proving

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels

9781468403596: First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  1468403591 ISBN 13:  9781468403596
Verlag: Springer US, 1990
Softcover