33 Basic Research Problems (Automated Reasoning) - Tapa blanda

Wos, Larry; Etc.

 
9780130545527: 33 Basic Research Problems (Automated Reasoning)

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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

"Sobre este título" puede pertenecer a otra edición de este libro.