000 | 01387nam a22003017a 4500 | ||
---|---|---|---|
001 | sulbI000716 | ||
003 | BD-SySUS | ||
005 | 20160522130237.0 | ||
008 | 160522s2011 gw a b 101 0 eng | ||
020 | _a9783642241291 (pbk. : acidfree paper) | ||
020 | _a3642241298 (pbk. : acidfree paper) | ||
040 |
_aDLC _beng _erda _cDLC _dBD-SySUS |
||
082 |
_222 _a621.395 _bLOG |
||
111 | 2 |
_aLORI (Workshop) _n(3rd : _d2011 : _cGuangzhou, China) _924411 |
|
245 | 1 | 0 |
_aLogic, rationality, and interaction : _bthird international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / _cHans van Ditmarsch, J�er�ome Lang, Shier Ju (eds.). |
260 |
_aVerlag Berlin. : _bSpringer. _c2011. |
||
300 |
_axi, 401 pages : _billustrations ; _c24 cm. |
||
490 | 0 |
_aLecture notes in computer science. Lecture notes in artificial intelligence, _x0302-9743 ; _v6953 |
|
490 | 0 | _aLNCS sublibrary. SL 7, Artificial intelligence | |
504 | _aIncludes bibliographical references and index. | ||
650 | 0 |
_aLogic, Symbolic and mathematical _vCongresses. _924412 |
|
650 | 0 |
_aInformation theory _vCongresses. _924413 |
|
650 | 0 |
_aLogic design _vCongresses. _924414 |
|
700 | 1 |
_aDitmarsch, Hans van, _d1959- _eeditor of compilation. _924415 |
|
700 | 1 |
_aLang, J�er�ome, _eeditor of compilation. _924416 |
|
700 | 1 |
_aJu, Shier, _eeditor of compilation. _924417 |
|
942 |
_2ddc _cBK |
||
999 |
_c60569 _d60569 |