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
|