Lab for Automated Reasoning and Analysis LARA

Differences

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]
vkuncak
sav08:calculus_of_computation_textbook [2009/02/17 22:46] (current)
vkuncak
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://​www.springer.com/​computer/​foundations/​book/​978-3-540-74112-1|Web site at Springer]] [[http://​www.springer.com/​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