Automated Theorem : Proving in Non Classical Logic - Softcover

 
9780470210062: Automated Theorem : Proving in Non Classical Logic

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels

9780273087816: Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

Vorgestellte Ausgabe

ISBN 10:  0273087819 ISBN 13:  9780273087816
Verlag: FT Prentice Hall, 1988
Softcover