Automated Reasoning: 33 Basic Research Problems - Brossura

Wos, Larry

 
9780130545527: Automated Reasoning: 33 Basic Research Problems
Brossura
ISBN 10: 013054552X ISBN 13: 9780130545527
Casa editrice: Prentice Hall, 1988

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Wos Larry

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Prentice Hall
Data di pubblicazione
1988
Lingua
Inglese
ISBN 10 
013054552X
ISBN 13 
9780130545527
Rilegatura
Copertina flessibile
Numero di pagine
319
Contatto del produttore
non disponibile
Persona responsabile
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Germania