Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Matthias Baaz, Andrei Voronkov (eds.)
Bok Engelsk 2002 LPAR 2002
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | XIII, 463 s. : ill.
|
| Emner | |
| ISBN | 3540000100
|
