Lab for Automated Reasoning and Analysis LARA


This shows you the differences between two versions of the page.

Link to this comparison view

sav08:calculus_of_computation_textbook [2008/03/05 10:41]
sav08:calculus_of_computation_textbook [2009/02/17 22:46] (current)
Line 1: Line 1:
 ====== Textbook: The Calculus of Computation ====== ====== Textbook: The Calculus of Computation ======
-Among the textbooksthis one is closest to the material that we will cover (although we will also cover additional topics, and there will be lecture notes).+Textbook covering propositional and first-order logicselected decision procedures, and deductive approach to verification.
 [[http://​​computer/​foundations/​book/​978-3-540-74112-1|Web site at Springer]] [[http://​​computer/​foundations/​book/​978-3-540-74112-1|Web site at Springer]]
sav08/calculus_of_computation_textbook.txt · Last modified: 2009/02/17 22:46 by vkuncak
© EPFL 2018 - Legal notice