Computer logic - Congresses.
Overview
| Works: | 4 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computational Logic in Multi-Agent Systems = 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Computer Science Logic = 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(Language materials, printed)
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(Language materials, printed)
Subjects