LEADER 01725nam0 22003973i 450 
001 AQ10005707
005 20251003044041.0
010   $a0387576045$bNew York
010   $a3540576045$bBerlin
100   $a20120123d1994    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
183  1$6z01$anc$2RDAcarrier
200 1 $aVivid logic$eKnowledge-based reasoning with two kinds of negation$fGerd Wagner
210   $aBerlin [etc.]$cSpringer$dc1994
215   $aXII, 148 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v764
410  0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v764
606   $aSistema esperto$2FIR$3CFIC011823$9I
606   $aLogica simbolica$2FIR$3SBLC002225$9I
606   $aLogica matematica$2FIR$3CFIC000378$9E
676   $a006.3$9INTELLIGENZA ARTIFICIALE$v14
676   $a006.33$9Sistemi fondati sulla rappresentazione della conoscenza$v22
696   $aLogica simbolica$aLogica matematica <Logica simbolica>
699   $aLogica matematica$zLogica simbolica
699   $aLogica matematica$yLogica matematica <Logica simbolica>
700  1$aWagner$b, Gerd$f <1957-    >$3AQ1V003001$4070$0714614
801  3$aIT$bIT-000000$c20120123
850   $aIT-BN0095          
912   $aAQ10005707
950  0$aBiblioteca Centralizzata di Ateneo$c43 v.$d 01COLL.     ING                     LNAI$e 0102 0000018645  VMA A4(0764               v. 764$fY $h19950313$i20120123
977   $a 01
996   $aVivid logic$91381946
997   $aUNISANNIO