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

Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K.

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

Inhaltsangabe

1988 154 Seiten 23,9 x 16,8 x 1,0 cm, Taschenbuch FT Prentice Hall, Altersfreigabe FSK ab 0 Jahre

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780470210062: Automated theorem-proving in non-classical logics (Research notes in theoretical computer science)

Vorgestellte Ausgabe

ISBN 10:  0470210060 ISBN 13:  9780470210062
Softcover