01376nam0 2200313 i 450 VAN005370020231219102532.30735-406-1882-1978-36-426-4473-320060929d1997 |0itac50 baengDE|||| |||||ˆThe ‰resolution calculusAlexander LeitschBerlinSpringer1997VIII, 300 p.ill.24 cm001VAN00536992001 Texts in theoretical computer science. An EATCS Series210 Berlin [etc.]Springer68-XXComputer science [MSC 2020]VANC019670MF68V15Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]VANC024545MFBerlinVANL000066LeitschAlexanderVANV042413726131Springer <editore>VANV108073650ITSOL20240614RICA/sebina/repository/catalogazione/documenti/Leitsch - The resolution calculus.pdfPreviewBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0053700BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 2391 08 5660 I 20060929 Resolution calculus1427028UNICAMPANIA