01883nam0 22004093i 450 NAP039534520251003044249.0013336785120080129d1993 ||||0itac50 baengusz01i xxxe z01nFormal specification of complex reasoning systems[edited by] Jan Treur and Thomas WetterNew York [etc.]Ellis Horwood1993VIII, 282 p.24 cmEllis Horwood Workshop SeriesBased 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 AmsterdamBibliografia: p. 282.001UBO02404202001 Ellis Horwood Workshop SeriesSISTEMA ESPERTOCONGRESSI1992FIRMILC054927I006.3INTELLIGENZA ARTIFICIALE14006.33Sistemi fondati sulla rappresentazione della conoscenza22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniWetter, Thomas <1953- >MILV085852340Treur, Jan <1952- >USMV609467340International Workshop on formal specification methods for complex reasoning systems <1992 ; Vienna>NAPV105519070770796ITIT-00000020080129IT-BN0095 NAP 01SALA DING $NAP0395345Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 006.3 INTWOF 0102 0000014415 VMA 1 v.Y 2008012920080129 01Formal specification of complex reasoning systems1572907UNISANNIO