33 Basic Research Problems (Automated Reasoning) - Softcover

Wos, Larry; Etc.

 
9780130545527: 33 Basic Research Problems (Automated Reasoning)
Softcover
ISBN 10: 013054552X ISBN 13: 9780130545527
Publisher: Prentice Hall, 1988

Synopsis

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

"synopsis" may belong to another edition of this title.

Publisher
Prentice Hall
Publication date
1988
Language
English
ISBN 10 
013054552X
ISBN 13 
9780130545527
Binding
Paperback
Number of pages
304