more exercises on resolution method
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Mar 2008 10:58:18 +0000 (11:58 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Mar 2008 10:58:18 +0000 (11:58 +0100)
teaching/0708/logica/esercitazione1.pdf

index 87de2f8..f49ceb7 100644 (file)
Binary files a/teaching/0708/logica/esercitazione1.pdf and b/teaching/0708/logica/esercitazione1.pdf differ