Logic for Computer Scientists

By Uwe Schöning

Book Overview

By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0817634533
• ISBN13: 9780817634537
• Release Date: January 2008
• Publisher: Birkhauser
• Length: 168 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"