Automated Reasoning: 33 Basic Research Problems - Softcover

Wos, Larry

 
9780130545527: Automated Reasoning: 33 Basic Research Problems
Softcover
ISBN 10: 013054552X ISBN 13: 9780130545527
Verlag: Prentice Hall, 1987

Inhaltsangabe

Discusses ways to contribute to the field of automated reasoning by solvving the proposed research problems and exploring new technologies such as parallel processing and logic programming

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

Verlag
Prentice Hall
Erscheinungsdatum
1987
Sprache
Englisch
ISBN 10 
013054552X
ISBN 13 
9780130545527
Einband
Taschenbuch
Anzahl der Seiten
319
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Deutschland