Automated reasoning: Introduction and applications - Hardcover

 
9780130544537: Automated reasoning: Introduction and applications

Weitere beliebte Ausgaben desselben Titels

9780130544469: Introduction and Applications (Automated Reasoning)

Vorgestellte Ausgabe

ISBN 10:  0130544469 ISBN 13:  9780130544469
Verlag: Prentice Hall, 1984
Softcover