Lab for Automated Reasoning and Analysis LARA

Textbook: The Calculus of Computation

Textbook covering propositional and first-order logic, selected decision procedures, and deductive approach to verification.

Web site at Springer

 
sav08/calculus_of_computation_textbook.txt · Last modified: 2009/02/17 22:46 by vkuncak
 
© EPFL 2018 - Legal notice