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
|
