Tell your friends about this item:
Logic for Computer Scientists - Modern Birkhauser Classics Uwe Schoning 1st ed. 1989. 2nd printing 2008. Softcover reprint edition
Logic for Computer Scientists - Modern Birkhauser Classics
Uwe Schoning
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 goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science.
177 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | January 11, 2008 |
| ISBN13 | 9780817647629 |
| Publishers | Birkhauser Boston Inc |
| Pages | 168 |
| Dimensions | 162 × 236 × 12 mm · 320 g |
| Language | English |