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)
commitc6bccfd437743cbe18b767142c1e6fe7dd4f1da5
tree8244091b5b22dd001fdd0e9560b0398de597e706
parent13e85f500724aa125919668fad4da445963d7800
more exercises on resolution method
teaching/0708/logica/esercitazione1.pdf