205696
9780817634537
Logic for Computer Scientists
by Schöning, Uwe
8823
About this item
- Condition: New
- Provider: Bookjunction Contact
- Provider Rating: 74%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
465888
About this item
- Condition: Good
- Provider: Ergode New Condition Contact
- Provider Rating: 0%
- Ships From: Houston, TX
- Shipping: Standard
- Comments: Buy with confidence. Excellent Customer Service & Return policy.
Product details
- ISBN-13: 9780817634537
- ISBN: 0817634533
- Publisher: Springer Verlag
AUTHOR
SUMMARY
"Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming." a?Mathematical ReviewsSchöning, Uwe is the author of 'Logic for Computer Scientists' with ISBN 9780817634537 and ISBN 0817634533.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
