01346nam0 2200301 i 450 SUN006339320151120101600.49801-985384-5-620080314d1994 |0engc50 baengGB|||| |||||Features and fluentsthe representation of knowledge about dynamical systems 1.Erik SandewallOxfordClarendon1994xvii, 328 p.ill.24 cm.001SUN00294982001 *Oxford logic guides30210 OxfordClarendon1977-.68T30Knowledge representation [MSC 2020]MFSUNC02327303B70Logic in computer science [MSC 2020]MFSUNC02454168Q55Semantics in the theory of computing [MSC 2020]MFSUNC02454268Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]MFSUNC024550GBOxfordSUNL000020Sandewall, ErikSUNV050395725276ClarendonSUNV000098650ITSOL20210222RICASUN0063393UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3894 08OM 141 I 20080314 DeterioratoFeatures and fluents1416012UNICAMPANIA