Fermuller, Christian G.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
by:
Fermuller, Christian G.; Voronkov, Andrei.; SpringerLink (Online service)
(Language materials, printed)