next up previous Sommario
Next: 3.3.2 Diseguaglianze Up: 3.3 Negazione costruttiva Previous: 3.3 Negazione costruttiva   Sommario

3.3.1 Risoluzione SLDCNF

I sottogoal che sono trattati dalla NC sono del tipo



Roberto Giungato 2001-03-14