LEADER 01376nam0 2200313 i 450 
001 VAN0053700
005 20231219102532.307
010   $a35-406-1882-1
010   $a978-36-426-4473-3
100   $a20060929d1997       |0itac50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aˆThe ‰resolution calculus$fAlexander Leitsch
210   $aBerlin$cSpringer$d1997
215   $aVIII, 300 p.$cill.$d24 cm
410  1$1001VAN0053699$12001 $aTexts in theoretical computer science. An EATCS Series$1210  $aBerlin [etc.]$cSpringer
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a68V15$xTheorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]$3VANC024545$2MF
620   $dBerlin$3VANL000066
700  1$aLeitsch$bAlexander$3VANV042413$0726131
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240614$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Leitsch - The resolution calculus.pdf$zPreview
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0053700
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   2391        $e08   5660      I       20060929            
996   $aResolution calculus$91427028
997   $aUNICAMPANIA