Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
Moshe Y. Vardi, Andrei Voronkov (eds.)
Bok Engelsk 2003 LPAR 2003
Utgitt | Berlin : Springer , c2003
|
---|---|
Omfang | XIII, 436 s. : fig.
|
Emner | |
ISBN | 3540201017
|