Automated Reasoning : Thirty-Three Basic Research Problems

Wos, Larry

ISBN 10: 013054552X / ISBN 13: 9780130545527

Verlag: Pearson Education, Limited, 1988

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

Bibliografische Details

Titel: Automated Reasoning : Thirty-Three Basic ...
Verlag: Pearson Education, Limited
Erscheinungsdatum: 1988
Einband: Softcover
Zustand: Good