Verwandte Artikel zu First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving - Softcover

Fitting, Melvin

 
9781461223610: First-Order Logic and Automated Theorem Proving
Softcover
ISBN 10: 146122361X ISBN 13: 9781461223610
Verlag: Springer, 2013

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

  • VerlagSpringer
  • Erscheinungsdatum2013
  • ISBN 10 146122361X
  • ISBN 13 9781461223610
  • EinbandPaperback
  • SpracheEnglisch

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

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-Verlag New York Inc., 1990
Softcover