LEADER 01238nam2-22003731i-450- 001 990001484460403321 005 20090804131359.0 010 $a0-19-853791-3 035 $a000148446 035 $aFED01000148446 035 $a(Aleph)000148446FED01 035 $a000148446 100 $a20010626d1995----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $a----a---001yy 200 1 $aEpistemic and temporal reasoning$fedited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson$gvolume co-ordinator Antony Galton 210 $aOxford$cClarendon Press$d1995 215 $axvi, 611 p.$d24 cm 225 1 $aHandbook of logic in computer science and artificial intelligence and logic programming 461 0$1001000148442$12001$aHandbook of logic in artificial intelligence and logic programming$v4 610 0 $aIntelligenza artificiale 676 $a006.3 702 1$aGabbay,$bDov M.$f<1945- > 702 1$aGalton,$bAntony 702 1$aHogger,$bChristofer John 702 1$aRobinson,$bJ.A. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001484460403321 952 $a006.3-HAN-1-(4$b915$fSC1 959 $aSC1 996 $aEpistemic and temporal reasoning$9378100 997 $aUNINA