Articles liés à Logic for Computer Science: Foundations of Automatic...

Logic for Computer Science: Foundations of Automatic Theorem Proving - Couverture rigide

Gallier, J.H.

 
9780471603283: Logic for Computer Science: Foundations of Automatic Theorem Proving
Couverture rigide
ISBN 10 : 0471603287 ISBN 13 : 9780471603283
Editeur : John Wiley & Sons Inc, 1985

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

  • ÉditeurJohn Wiley & Sons Inc
  • Date d'édition1985
  • ISBN 10 0471603287
  • ISBN 13 9780471603283
  • ReliureRelié
  • Langueanglais
  • Nombre de pages528

(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

9780060422257: Logic for Computer Science: Foundations of Automatic Theorem Proving

Edition présentée

ISBN 10 :  0060422254 ISBN 13 :  9780060422257
Editeur : Longman Higher Education, 1986
Couverture rigide