Automated Theorem : Proving in Non Classical Logic - Couverture souple

 
9780470210062: Automated Theorem : Proving in Non Classical Logic

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

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