205696
9780817634537
Logic for Computer Scientists
by Schöning, Uwe
8823
About this item
- Condition: New
- Provider: Bookjunction Contact
- Provider Rating: 73%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
258977
List Price
Discount
91% Off
You Save
$50.19
About this item
- Condition: Acceptable
- Provider: Gulf Coast Books Contact
- Provider Rating: 87%
- Ships From: Memphis, TN
- Shipping: Standard
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.
