Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation) - Softcover

 
9780387826004: Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)

Weitere beliebte Ausgaben desselben Titels

9783211826003: Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)

Vorgestellte Ausgabe

ISBN 10:  3211826009 ISBN 13:  9783211826003
Verlag: Springer Verlag GmbH, 1995
Softcover