Languages
LPAR 2008 (Dawhah, Qatar)) ((2008 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
Voronkov, Andrei.; Veith, Helmut.; Cervesato, Iliano.; SpringerLink (Online service); LPAR 2008 (Dawhah, Qatar)) ((2008 :)
(Electronic resources)