×

zbMATH — the first resource for mathematics

Found 123 Documents (Results 1–100)

100
MathJax
Synthesis Lectures on Artificial Intelligence and Machine Learning 41. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-6817-3490-3/pbk; 978-1-6817-3492-7/hbk; 978-1-6817-3491-0/ebook). xiv, 185 p. (2019).
MSC:  68-02 62-09 62H30 68T05 68T10 68T30
PDF BibTeX XML Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-61659-9/pbk; 978-3-319-61660-5/ebook). Lecture Notes in Computer Science 10377. Lecture Notes in Artificial Intelligence, 10-22 (2017).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Decker, Wolfram (ed.) et al., Singularities and computer algebra. Festschrift for Gert-Martin Greuel on the occasion of his 70th birthday. Based on the conference, Lambrecht (Pfalz), Germany, June 2015. Cham: Springer (ISBN 978-3-319-28828-4/hbk; 978-3-319-28829-1/ebook). 161-172 (2017).
MSC:  14-04 14J25 14Q10 51N10 52B10 55R80 57M25 57N05 57N35
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Artificial Intelligence and Machine Learning 23. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-197-2/pbk; 978-1-62705-198-9/ebook). xiv, 177 p. (2013).
MSC:  68-02 62-09 68T05 68T10 68R10 62H30 68T30
PDF BibTeX XML Cite
Full Text: DOI
Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 180-191 (2009).
MSC:  68T37 62F15
PDF BibTeX XML Cite
Full Text: DOI
Pratsi Instytutu Matematyky Natsional’noï Akademiï Nauk Ukraïny. Matematyka ta ïï Zastosuvannya 73. Kyïv: Instytut Matematyky NAN Ukraïny (ISBN 978-966-02-4763-5). 308 p. (2008).
PDF BibTeX XML Cite
Dokl. Math. 61, No. 1, 73-76 (2000); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 370, No. 4, 439-442 (2000).
MSC:  65H10 12Y05 68W30 13P10 30C15
PDF BibTeX XML Cite
Bykov, V. I. (ed.), Mathematical methods and simulation. Krasnoyarsk: Krasnoyarskij Gosudarstvennyj Tekhnicheskij Universitet (KGTU). Vestn. Krasnoyarsk. Gos. Tekh. Univ. 16, 50-53 (1999).
MSC:  65H10 68W30 12Y05 26C10 30C15
PDF BibTeX XML Cite
Spanos, P. D. (ed.), Computational stochastic mechanics. Proceedings of the 3rd international conference (CSM’98) held on Santorini, Greece, June 14-17, 1998. Rotterdam: A. A. Balkema. 407-409 (1999).
MSC:  74M25 74C99 60H15
PDF BibTeX XML Cite
Ganzinger, Harald (ed.) et al., Logic for programming and automated reasoning. 6th international conference, LPAR ’99, Tbilisi, Georgia, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1705, 131-147 (1999).
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. 189-196 (1997).
MSC:  65H05 12Y05 65Y20 26C10 30C15
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. 141-148 (1997).
MSC:  65H10 26C10 30C15 12Y05
PDF BibTeX XML Cite
Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 47-76 (1997).
Reviewer: G.Grigoras (Iaşi)
PDF BibTeX XML Cite
Lakshman, Y. N. (ed.), Proceedings of the 1996 international symposium on symbolic and algebraic computation, ISSAC ’96, Zürich, Switzerland, July 24–26, 1996. New York, NY: ACM Press. 35-39 (1996).
MSC:  13P05 68W30 30C10
PDF BibTeX XML Cite
Cohen, Gérard (ed.) et al., Applied algebra, algebraic algorithms and error-correcting codes. 10th International symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 673, 89-104 (1993).
MSC:  65H10 32A15 30C15
PDF BibTeX XML Cite
Bonnard, Bernard (ed.) et al., Analysis of controlled dynamical systems. Proceedings of a conference held in Lyon, France, July 1990. Boston, MA: Birkhäuser. Prog. Syst. Control Theory. 8, 193-200 (1991).
MSC:  13N05 14A05 12H05 93B27 93B29 03C10
PDF BibTeX XML Cite

Filter Results by …

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