LEADER 01346nam0 2200301 i 450 
001 SUN0063393
005 20151120101600.498
010   $a01-985384-5-6
100   $a20080314d1994       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aFeatures and fluents$ethe representation of knowledge about dynamical systems 1.$fErik Sandewall
210   $aOxford$cClarendon$d1994
215   $axvii, 328 p.$cill.$d24 cm.
410  1$1001SUN0029498$12001 $a*Oxford logic guides$v30$1210  $aOxford$cClarendon$d1977-.
606   $a68T30$xKnowledge representation [MSC 2020]$2MF$3SUNC023273
606   $a03B70$xLogic in computer science [MSC 2020]$2MF$3SUNC024541
606   $a68Q55$xSemantics in the theory of computing [MSC 2020]$2MF$3SUNC024542
606   $a68Q60$xSpecification and verification (program logics, model checking, etc.) [MSC 2020]$2MF$3SUNC024550
620   $aGB$dOxford$3SUNL000020
700  1$aSandewall$b, Erik$3SUNV050395$0725276
712   $aClarendon$3SUNV000098$4650
801   $aIT$bSOL$c20210222$gRICA
912   $aSUN0063393
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   3894        $e08OM 141       I       20080314            $sDeteriorato
996   $aFeatures and fluents$91416012
997   $aUNICAMPANIA