LEADER 01476nam0 22003613i 450 001 VAN0255185 005 20230524090150.903 017 70$2N$a9783540362623 100 $a20230223d1970 |0itac50 ba 101 $aeng$aFRE 102 $aDE 105 $a|||| ||||| 200 1 $aSymposium on Automatic Demonstration$eHeld at Versailles/France, Decembre 1968$fedited by M. Laudet, ... [et al.] 210 $aBerlin$cSpringer$d1970 215 $a310 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v125 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 610 $aData processing$9KW:K 610 $aMathematica$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 610 $aTheorem$9KW:K 620 $dBerlin$3VANL000066 702 1$aLaudet$bMichel$3VANV208190$4340 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0060620$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0255185 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5507 $e08eMF5507 20230303 996 $aSymposium on Automatic Demonstration$980496 997 $aUNICAMPANIA