LEADER 01281nam0 2200301 i 450 
001 SUN0053700
005 20170703093856.839
010   $a35-406-1882-1$d0.00
010   $a8-3-642-64473-3
100   $a20060929d1997       |0engc50      ba
101   $aeng
102   $aDE
105   $a||||    |||||
200 1 $aThe *resolution calculus$fAlexander Leitsch
210   $aBerlin$cSpringer$d1997
215   $aVIII, 300 p.$cill.$d24 cm.
410  1$1001SUN0053699$12001 $a*Texts in theoretical computer science$1210  $aBerlin$cSpringer$d1995-.
606   $a68-XX$xComputer science [MSC 2020]$2MF$3SUNC019670
606   $a68V15$xTheorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020]$2MF$3SUNC024545
620   $dBerlin$3SUNL000066
700  1$aLeitsch$b, Alexander$3SUNV042413$0726131
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20201012$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Leitsch - The resolution calculus.pdf$zPreview
912   $aSUN0053700
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   2391        $e08   5660      I       20060929            
996   $aResolution calculus$91427028
997   $aUNICAMPANIA

LEADER 00975nam a2200265 i 4500
001 991003047959707536
005 20020509111233.0
008 940908s1982    it            ||| | ita  
035   $ab11100746-39ule_inst
035   $aPARLA174080$9ExL
040   $aDip.to Filol. Class. e Med.$bita
100 1 $aXenocrates$0391407
245 10$aFrammenti /$cSenocrate, Ermodoro ; edizione, traduzione e commento a cura di Margherita Isnardi Parente
260   $aNapoli :$bBibliopolis,$c1982
300   $a460 p. ;$c23 cm.
440  3$aLa scuola di Platone ;$v3
500   $aBibliografia: p. 9-26.
700 1 $aHermodorus
700 1 $aIsnardi Parente, Margherita
907   $a.b11100746$b21-09-06$c28-06-02
912   $a991003047959707536
945   $aLE007 880.1 Xenocrates 1981-01$g1$i2007000007891$lle007$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i11235019$z28-06-02
996   $aFrammenti$9857424
997   $aUNISALENTO
998   $ale007$b01-01-94$cm$da  $e-$fita$git $h0$i1