Articles liés à First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving - Couverture souple

Fitting, Melvin

 
9781468403589: First-Order Logic and Automated Theorem Proving
Couverture souple
ISBN 10 : 1468403583 ISBN 13 : 9781468403589
Editeur : Springer, 2012

L'édition de cet ISBN n'est malheureusement plus disponible.

  • ÉditeurSpringer
  • Date d'édition2012
  • ISBN 10 1468403583
  • ISBN 13 9781468403589
  • ReliurePaperback
  • Langueanglais

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9781468403596: First-Order Logic and Automated Theorem Proving

Edition présentée

ISBN 10 :  1468403591 ISBN 13 :  9781468403596
Editeur : Springer-Verlag New York Inc., 1990
Couverture souple