LEADER 01429nam0 22003733i 450 
001 MIL0162997
005 20251003044226.0
010   $a0471927848
100   $a20081006d1991    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aPrinciples of automated theorem proving$fDavid A. Duffy
210   $aChichester [etc.]$cWiley$dc1991
215   $aXVIII, 243 p.$d24 cm
225 | $aWiley professional computing
300   $aBibliografia: P. [225]-232.
410  0$1001MIL0071523$12001 $aWiley professional computing
606   $aLogica matematica$2FIR$3CFIC000378$9E
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v22
696   $aLogica simbolica$aLogica matematica <Logica simbolica>
699   $aLogica matematica$zLogica simbolica
699   $aLogica matematica$yLogica matematica <Logica simbolica>
700  1$aDuffy$b, David A.$3MILV103019$4070$0243321
801  3$aIT$bIT-000000$c20081006
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aMIL0162997
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 511.3                   DUF.pr$e 0102 0000007555  VMA A4                    1 v.$fY $h19940228$i19940228
977   $a 01
996   $aPrinciples of automated theorem proving$91382067
997   $aUNISANNIO