×

zbMATH — the first resource for mathematics

Found 61 Documents (Results 1–61)

100
MathJax
Meo, Rosa (ed.) et al., Database support for data mining applications. Discovering knowledge with inductive queries. Berlin: Springer (ISBN 3-540-22479-3/pbk). Lecture Notes in Computer Science 2682. Lecture Notes in Artificial Intelligence, 117-134 (2004).
MSC:  68P15 68T05
PDF BibTeX XML Cite
Full Text: DOI
Sgall, Jiří(ed.) et al., Mathematical foundations of computer science 2001. 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2136, 375-386 (2001).
MSC:  03C13 68Q19 68P15
PDF BibTeX XML Cite
Full Text: Link
Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 67-81 (1999).
MSC:  68P15 68Q19
PDF BibTeX XML Cite
Lecture Notes in Computer Science. 1191. Berlin: Springer. x, 343 p. (1997).
MSC:  68-06 00B25
PDF BibTeX XML Cite
Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 21-27 (1997).
PDF BibTeX XML Cite
Lecture Notes in Computer Science 1034. Berlin: Springer-Verlag (ISBN 3-540-60794-3). 185 p. (1996).
MSC:  68-06 00B25
PDF BibTeX XML Cite
Clarkson, K. (ed.), Proceedings of the 6th annual ACM-SIAM symposium on discrete algorithms, San Francisco, CA, USA, January 22-24, 1995. Philadelphia, PA: SIAM. 378-387 (1995).
MSC:  68P10 68P05 68Q25
PDF BibTeX XML Cite

Filter Results by …

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