×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 121-136 (2001).
PDF BibTeX XML Cite
Full Text: Link
Ojeda-Aciego, Manuel (ed.) et al., Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1919, 37-56 (2000).
MSC:  68T27
PDF BibTeX XML Cite

Filter Results by …

Document Type
Year of Publication
Classification