LEADER 01883nam0 22004093i 450 
001 NAP0395345
005 20251003044249.0
010   $a0133367851
100   $a20080129d1993    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aFormal specification of complex reasoning systems$f[edited by] Jan Treur and Thomas Wetter
210   $aNew York [etc.]$cEllis Horwood$d1993
215   $aVIII, 282 p.$d24 cm
225 | $aEllis Horwood Workshop Series
300   $aBased on the material  from the International Workshop on formal specification methods for complex reasoning systems, Vienna 1992, organized during ECAI'92 by the artificial intelligence group, Vrije Universiteit Amsterdam
300   $aBibliografia: p. 282.
410  0$1001UBO0240420$12001 $aEllis Horwood Workshop Series
606   $aSISTEMA ESPERTO$xCONGRESSI$x1992$2FIR$3MILC054927$9I
676   $a006.3$9INTELLIGENZA ARTIFICIALE$v14
676   $a006.33$9Sistemi fondati sulla rappresentazione della conoscenza$v22
696   $aConvegni$aCongressi e convegni
699   $aCongressi$yConvegni
699   $aCongressi$yCongressi e convegni
702  1$aWetter$b, Thomas$f <1953-    >$3MILV085852$4340
702  1$aTreur$b, Jan$f <1952-    >$3USMV609467$4340
710 12$aInternational Workshop on formal specification methods for complex reasoning systems$f <1992$e ; Vienna>$3NAPV105519$4070$0770796
801  3$aIT$bIT-000000$c20080129
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aNAP0395345
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 006.3                   INTWOF$e 0102 0000014415  VMA                       1 v.$fY $h20080129$i20080129
977   $a 01
996   $aFormal specification of complex reasoning systems$91572907
997   $aUNISANNIO