Automated Reasoning : Thirty-Three Basic Research Problems
Wos, Larry
ISBN 10: 013054552X ISBN 13: 9780130545527
Verlag: Pearson Education, Limited, 1988
Gebraucht
Softcover
Verkäufer
Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 13. Oktober 2008
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Bestandsnummer des Verkäufers GRP33955691
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
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Automated Reasoning : Thirty-Three Basic ...
Verlag: Pearson Education, Limited
Erscheinungsdatum: 1988
Einband: Softcover
Zustand: Good