IJCAR 2010 ((2010 :)
Overview
| Works: | 3 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
Giesl, Jurgen.; Hahnle, Reiner.; SpringerLink (Online service); IJCAR 2010 ((2010 :)
(Language materials, printed)