2010 edition
Paperback (11 Aug 2010)
Save $38.89
Includes delivery to the United States
4 copies available online - Usually dispatched within 72 hours
Constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. This title covers such topics as automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, and more.
| ISBN: | 9783642152047 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 11 Aug 2010 |
| Edition: | 2010 edition |
| Language: | English |
| Number of pages: | 548 |
| Weight: | 862g |
| Height: | 236mm |
| Width: | 155mm |
| Spine width: | 30mm |
$16.50off
Paperback
Published 16 Oct 2020
Save $16.50
$8.92off
Paperback
Published 31 Aug 2023
Save $8.92
$32.24off
Paperback
Published 11 Oct 2005
Save $32.24
