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:exercise_08 [2008/04/22 15:40]
piskac
sav08:exercise_08 [2008/04/22 15:41] (current)
piskac
Line 3: Line 3:
   * Discussion about projects.   * Discussion about projects.
  
-  * Ganzinger-Bachmaier Model Existence Theorem for Propositional Logic. ​ {{gbtalk.pdf|(Slides)}}+  * Ganzinger-Bachmaier Model Existence Theorem for Propositional Logic. ​ {{sav08:gbtalk.pdf|(Slides)}}
  
   * Homework analysis.   * Homework analysis.
 
sav08/exercise_08.txt · Last modified: 2008/04/22 15:41 by piskac
 
© EPFL 2018 - Legal notice