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

First-Order Logic and Automated Theorem Proving - Couverture souple

Fitting, Melvin

 
9781468403596: First-Order Logic and Automated Theorem Proving
Couverture souple
ISBN 10 : 1468403591 ISBN 13 : 9781468403596
Editeur : Springer-Verlag New York Inc., 1990

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

  • ÉditeurSpringer-Verlag New York Inc.
  • Date d'édition1990
  • ISBN 10 1468403591
  • ISBN 13 9781468403596
  • ReliureBroché
  • Langueanglais
  • Nombre de pages264

(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

9780387972336: First-Order Logic and Automated Theorem Proving

Edition présentée

ISBN 10 :  0387972331 ISBN 13 :  9780387972336
Editeur : Springer Verlag, 1990
Couverture rigide