Publisher's 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.
About the Publisher
Prentice Hall is a leading publisher of academic and reference textbooks. It publishes in most of the main academic disciplines and on cutting-edge topics in business, computer science, engineering and information technology. Prentice Hall is also a leading authority on Java. Prentice Hall's market leading textbooks are supported by Course Compass. It is a solution to course management that combines state of the art Blackboard technology with quality Prentice Hall content. The textbooks are also supported by companion websites. Prentice Hall has established itself as one of the leading professional and technical publishers within the industry. Using premier authors from around the globe, it offers computing professionals the information they need. In order to provide the best, most informative, accurate, and up-to-date publications, Prentice Hall has established lasting co-publishing relationships with leaders in the technology arena. Series are written by experts within the company, and consequently the material produced is of the best standard.
