LEADER 01357nam0 22003493i 450 
001 MIL0092224
005 20251003044223.0
010   $a0818659955$bMicrofiche
010   $a0818689951$bCase
100   $a20080729d1991    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aValidating and verifying knowledge-based systems$fUma G. Gupta
210   $aLos Alamitos$cIEEE computer society press$dc1991
215   $aIX, 409 p.$cill.$d29 cm
225 | $aIEEE computer society press reprint collection
300   $aBibliografia: P. 414-422.
410  0$1001MIL0069691$12001 $aIEEE computer society press reprint collection
606   $aSistema esperto$2FIR$3CFIC011823$9I
676   $a006.3$9INTELLIGENZA ARTIFICIALE$v14
676   $a006.33$9Sistemi fondati sulla rappresentazione della conoscenza$v22
702  1$aGupta$b, Uma G.$3MILV061012
801  3$aIT$bIT-000000$c20080729
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aMIL0092224
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 006.3                   VALAVK$e 0102 0000008655  VMA A4                    1 v. (2. rist., 1993)$fY $h19940413$i19940413
977   $a 01
996   $aValidating and verifying knowledge-based systems$91572068
997   $aUNISANNIO