×

zbMATH — the first resource for mathematics

Found 16 Documents (Results 1–16)

100
MathJax
Distinguished Dissertations. London: Springer. London: British Computer Society, 160 p. (2001).
MSC:  68T15 68-02
PDF BibTeX XML Cite
Gao, Xiao-Shan (ed.) et al., Automated deduction in geometry. 2nd international workshop, ADG ’98, Beijing, China, August 1-3, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1669, 47-66 (1999).
MSC:  03B35 70F15 01A45 03H05 70-04 26E35 68T15
PDF BibTeX XML Cite
Kirchner, Claude (ed.) et al., Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5–10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1421, 3-16 (1998).
MSC:  03B35 26E35 03H05 68T15 26-04
PDF BibTeX XML Cite
Antoniou, Grigoris (ed.) et al., Advanced topics in artificial intelligence. 11th Australian joint conference, AI ’98, Brisbane, Australia, July 13–17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1502, 107-118 (1998).
MSC:  03B35 03B44 03B45 03B42 68T15 68T27
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 3-39 (1991).
MSC:  03B70 03F35 68T15 03B40 03-04
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification