×

zbMATH — the first resource for mathematics

Found 33 Documents (Results 1–33)

100
MathJax
Kutyłowski, Mirosław (ed.) et al., Mathematical foundations of computer science 1999. 24th international symposium, MFCS ’99, Szklarska Porȩba, Poland, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1672, 70-80 (1999).
MSC:  68Q55 68Q85
PDF BibTeX XML Cite
McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 276-290 (1997).
MSC:  68V15 68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 261-275 (1997).
MSC:  68Q85 03B44 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 316-327 (1994).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification
all top 3
Software