Languages
Cervesato, Iliano.
Overview
| Works: | 11 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:
LPAR 2008 (Dawhah, Qatar){me_controlnum}) ((2008 :); Cervesato, Iliano.; Veith, Helmut.; Voronkov, Andrei.; SpringerLink (Online service)
(Electronic resources)