01281nam0 2200301 i 450 SUN005370020170703093856.83935-406-1882-10.008-3-642-64473-320060929d1997 |0engc50 baengDE|||| |||||The *resolution calculusAlexander LeitschBerlinSpringer1997VIII, 300 p.ill.24 cm.001SUN00536992001 *Texts in theoretical computer science210 BerlinSpringer1995-.68-XXComputer science [MSC 2020]MFSUNC01967068V15Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]MFSUNC024545BerlinSUNL000066Leitsch, AlexanderSUNV042413726131SpringerSUNV000178650ITSOL20201012RICA/sebina/repository/catalogazione/documenti/Leitsch - The resolution calculus.pdfPreviewSUN0053700UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 2391 08 5660 I 20060929 Resolution calculus1427028UNICAMPANIA