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 finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

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