-78%
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings eBook
Original price was: $139.00.$30.00Current price is: $30.00.
By: Zoltán Ésik
Publisher: Springer
Print ISBN: 9783540454588, 3540454586
eText ISBN: 9783540454595, 3540454594
Edition: 1st
Copyright year: 2006
Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings 1st Edition is written by Zoltán Ésik and published by Springer. The Digital and eTextbook ISBNs for Computer Science Logic are 9783540454595, 3540454594 and the print ISBNs are 9783540454588, 3540454586. Save up to 80% versus print by going digital with VitalSource.
Be the first to review “Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings eBook”
You must be logged in to post a review.
Related products
-38%
eText ISBN: 9781786466112
Original price was: $48.32.$29.77Current price is: $29.77.
-38%
Bestsellers
eText ISBN: 9781610395700
Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9781440336683
Original price was: $21.65.$13.34Current price is: $13.34.
-38%
Bestsellers
eText ISBN: 9781423207733
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9780134527598
Original price was: $64.98.$40.03Current price is: $40.03.
-38%
Bestsellers
eText ISBN: 9781119473879
Original price was: $19.98.$12.31Current price is: $12.31.
-38%
eText ISBN: 9781337015783
Original price was: $51.65.$31.82Current price is: $31.82.
-38%
eText ISBN: 9781466565043
Original price was: $58.32.$35.93Current price is: $35.93.
Reviews
There are no reviews yet.