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