000 01523nmm a22003855u 4500
001 vtls000355810
003 RU-ToGU
005 20210922023408.0
007 cr nn 008mamaa
008 120828s2007 xx j eng d
020 _a9781402058394
035 _ato000355810
040 _aSpringer
_cSpringer
_dRU-ToGU
100 1 _aDitmarsch, Hans van.
_9314277
245 1 0 _aDynamic Epistemic Logic
_hЭлектронный ресурс
_cedited by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi.
260 _aDordrecht :
_bSpringer Science+Business Media B.V.,
_c2007
490 1 0 _aSynthese Library ;
_v337
650 0 _aArtificial intelligence
_9274099
650 0 _aComputer Science
_9155490
650 0 _aGenetic epistemology
_9308029
650 0 _alogic
_9295753
650 1 4 _aPhilosophy
_9138650
650 2 4 _aArtificial Intelligence (incl. Robotics)
_9274102
650 2 4 _aEpistemology
_9308030
650 2 4 _aLogic
_9295753
650 2 4 _aMathematical Logic and Formal Languages
_9303363
700 1 _aHoek, Wiebe van der
_9314278
700 1 _aKooi, Barteld
_9314279
710 2 _aSpringerLink (Online service)
_9143950
773 0 _tSpringer e-books
830 _aSynthese Library ;
_9309814
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4020-5839-4
999 _c232527