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:logic_for_mathematics_and_computer_science_textbook [2008/03/11 17:24]
vkuncak created
sav08:logic_for_mathematics_and_computer_science_textbook [2008/03/11 17:24] (current)
vkuncak
Line 4: Line 4:
  
 Predicate logic with equality. ​ Term rewriting. Predicate logic with equality. ​ Term rewriting.
 +
 +Software for Illustrating these ideas.
  
   * http://​www.math.uwaterloo.ca/​~snburris/​htdocs/​lmcs.html   * http://​www.math.uwaterloo.ca/​~snburris/​htdocs/​lmcs.html
 
sav08/logic_for_mathematics_and_computer_science_textbook.txt · Last modified: 2008/03/11 17:24 by vkuncak
 
© EPFL 2018 - Legal notice