Articles liés à Automated Theorem : Proving in Non Classical Logic

Automated Theorem : Proving in Non Classical Logic - Couverture souple

 
9780470210062: Automated Theorem : Proving in Non Classical Logic
Couverture souple
ISBN 10 : 0470210060 ISBN 13 : 9780470210062

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

  • ISBN 10 0470210060
  • ISBN 13 9780470210062
  • ReliureBroché
  • 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

9780273087816: Automated Theorem-proving in Non-classical Logics

Edition présentée

ISBN 10 :  0273087819 ISBN 13 :  9780273087816
Editeur : FT Prentice Hall, 1988
Couverture souple