名称: | |
描述: | |
公开/私有: | 公开 私有 |
Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings / |
|
ISBN/ISSN:
|
3540583327 (Berlin) |
ISBN/ISSN:
|
0387583327 (New York) |
中图分类法
:
|
TP18-532 |
题名:
|
Logics in artificial intelligence [European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings ] |
其它题名:
|
JELIA '94. |
其它题名:
|
Logics in AI. |
其它题名:
|
JELIA '94, logics in AI. |
出版发行:
|
Berlin : Springer-Verlag, c1994. |
载体形态:
|
ix, 413 p. : ill. ; 23 cm. |
主题词:
|
Artificial intelligence Congresses. |
主题词:
|
Logic Congresses. |
主要责任者:
|
MacNish, Craig. |
主要责任者:
|
Pearce, David A., 1952- |
主要责任者:
|
Pereira, Luis Moniz. |
标签:
|
|
相关资源:
|
|
分享资源:
|
HEA| |01557nam 2200421 a 4500 001| |021998003661 003| |CAL 005| |20050426171842.0 008| |940926s1994 gw a b 100 0 eng 010| |▼a 94228872 020| |▼a3540583327 (Berlin) 020| |▼a0387583327 (New York) 035| |▼a(OCoLC)31179374 040| |▼aNRU▼cNRU▼dDLC 042| |▼alccopycat 050|00|▼aQ334▼b.E985 1994 082|00|▼a006.3/01/5113▼220 093| |▼aTP18-532▼23 094| |▼a73.917▼22 111|2 |▼aEuropean Workshop JELIA \'94▼- | |d(1994 :▼cYork, UK) 245|10|▼aLogics in artificial intelli- | |gence :▼bEuropean Workshop JEL- | |IA \'94, York, UK, September 5-- | |8, 1994 : proceedings /▼cCraig- | | MacNish, David Pearce, Luis M- | |oniz Pereira (eds.) 246|18|▼aJELIA \'94. 246|18|▼aLogics in AI. 246|18|▼aJELIA \'94, logics in AI. 260| |▼aBerlin :▼bSpringer-Verlag,▼cc1994. 300| |▼aix, 413 p. :▼bill. ;▼c23 cm. 490|1 |▼aLecture notes in computer sc- | |ience ;▼v838.▼aLecture notes i- | |n artificial intelligence 504| |▼aIncludes bibliographical references. 650| 0|▼aArtificial intelligence▼xCongresses. 650| 0|▼aLogic▼xCongresses. 700|1 |▼aMacNish, Craig. 700|1 |▼aPearce, David A.,▼d1952- 700|1 |▼aPereira, Luis Moniz. 830| 0|▼aLecture notes in computer sc- | |ience ;▼v838. 830| 0|▼aLecture notes in computer sc- | |ience.▼pLecture notes in artif- | |icial intelligence. 950| |▼awhutl▼f73.917/M169 998| |▼aSJT 999| |▼tC▼Atshs22▼a20050426 17:17:28- | |▼Mtshs22▼m20050426 17:18:42▼Gt- | |shs22▼g20050426 17:19:09