Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
sav07_lecture_19 [2007/05/22 14:35] vkuncak created |
sav07_lecture_19 [2007/05/22 14:36] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Lecture 19: Push-down automata ====== | + | ====== Lecture 19 ====== |
| + | |||
| + | === Push-down automata === | ||
| + | |||
| + | === First-order theorem provers: completeness of resolution === | ||