01389nam2-2200421li-450 99000019016020331620180312154803.00-13-336785-10019016USA010019016(ALEPH)000019016USA01001901620001109h----1993993y0itay0103----baengUSFormal specification of complex reasoning sustemsJan Treur, Thomas WetterNew York [etc.]Ellis Horwoodcopyr1993VIII, 282 p.ill.23 cmEllis Horwood workshop series000100190172001Ellis Horwood workshop seriesintelligenza artificialesistemi espertisoftwareprogettazione0051Programmazione. Tecnica di sviluppo dei programmiTreur,Jan753297Wetter,ThomasSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000190160203316005.1 TRE0017390005.100106411BKSCI1995090520001110USA011713ALANDI9020010319USA01173320020403USA011626PATRY9020040406USA011614Formal specification of complex reasoning sustems1515299UNISA