Differences

This shows you the differences between the selected revision and the current version of the page.

--- sav12:exercise_14 2012/05/22 15:03
+++ sav12:exercise_14 2012/05/22 18:48 current
@@ Line 1: / Line 1: @@
 ====== Exercise 14 ======
+Slides:
+  * {{sav12:flecture-part1.pptx|1.pptx}}, {{sav12:flecture-part1.pdf|1.pdf}}
+  * {{sav12:lecture-part2.pptx|2.pptx}}, {{sav12:flecture-part2.pdf|2.pdf}}
+  * {{sav12:flecture-part3.pptx|3.pptx}}, {{sav12:flecture-part3.pdf|3.pdf}}
+  * {{sav12:flecture-part4.pptx|4.pptx}}, {{sav12:flecture-part4.pdf|4.pdf}}
 [[sav08:Combining FOL Models]]

Lab for Automated Reasoning and Analysis LARA