Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
Další autoři: |
Fermuller, Christian G.
(
Editor )
|
---|---|
Korporace: | |
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
ISSN: | 0302-9743 |
Vydavatel: |
Berlin :
Springer,
c2010.
|
Vydání: | 1st ed. |
Edice: |
Lecture notes in artificial intelligence ;
6397 |
Předmět: | |
Externí odkaz: |
|