×

zbMATH — the first resource for mathematics

Found 152 Documents (Results 1–100)

100
MathJax
Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 235-252 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Monographs and Research Notes in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-1-4987-5602-0/hbk; 978-1-4987-5603-7/ebook). xvii, 231 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Cao, Bing-Yuan (ed.) et al., International conference on oriental thinking and fuzzy logic. Celebration of the 50th anniversary in the era of complex systems and big data, Dalian, China, August 17–20, 2015. Cham: Springer (ISBN 978-3-319-30873-9/pbk; 978-3-319-30874-6/ebook). Advances in Intelligent Systems and Computing 443, 613-621 (2016).
MSC:  03B50
PDF BibTeX XML Cite
Full Text: DOI
Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 33, 467-487 (2015).
MSC:  03F20
PDF BibTeX XML Cite
Full Text: DOI arXiv
Wang, Jianxin (ed.) et al., Frontiers in algorithmics. 9th international workshop, FAW 2015, Guilin, China, July 3–5, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19646-6/pbk; 978-3-319-19647-3/ebook). Lecture Notes in Computer Science 9130, 229-240 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Izv. Math. 71, No. 2, 391-437 (2007); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 71, No. 2, 173-222 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Degano, Pierpaolo (ed.), Programming languages and systems. 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2618, 319-334 (2003).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: Link
Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 599-612 (2002).
PDF BibTeX XML Cite
Full Text: Link
Li, Ta Tsien (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20-28, 2002. Vol. III: Invited lectures. Beijing: Higher Education Press. 685-693 (2002).
PDF BibTeX XML Cite
Aggarwal, Alok (ed.) et al., Algorithms and computation. 10th international symposium, ISAAC’ 99, Chennai, India, December 16-18, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1741, 133-142 (1999).
MSC:  03F20 68Q17
PDF BibTeX XML Cite
Zhong, Ning (ed.) et al., New directions in rough sets, data mining, and granular-soft computing. 7th international workshop, RSFDGrC ’99, Yamaguchi, Japan, November 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1711, 354-356 (1999).
MSC:  03B60 68T27
PDF BibTeX XML Cite
Cantini, Andrea (ed.) et al., Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 280, 249-269 (1999).
Reviewer: N.Zamov (Kazan’)
MSC:  03B25 03B35
PDF BibTeX XML Cite
Herceg, D. (ed.) et al., PRIM ’97. Proceedings of the XII conference on applied mathematics, Palić, Yugoslavia, September 8–12, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics. 73-77 (1998).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Beame, Paul W. (ed.) et al., Proof complexity and feasible arithmetics. Papers from the DIMACS workshop, Rutgers, NJ, USA, April 21–24, 1996. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 163-172 (1998).
PDF BibTeX XML Cite
Beame, Paul W. (ed.) et al., Proof complexity and feasible arithmetics. Papers from the DIMACS workshop, Rutgers, NJ, USA, April 21–24, 1996. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 93-117 (1998).
MSC:  03F20 68Q15 03B05
PDF BibTeX XML Cite
Tošić, Ratko (ed.) et al., Proceedings of the VIII international conference on logic and computer science: theoretical foundations of computer science, Lira ’97, Novi Sad, Yugoslavia, September 1–4, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics. 85-90 (1997).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Tošić, Ratko (ed.) et al., Proceedings of the VIII international conference on logic and computer science: Theoretical foundations of computer science, Lira ’97, Novi Sad, Yugoslavia, September 1-4, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics, 111-119 (1997).
MSC:  68P15 68T15
PDF BibTeX XML Cite
Hanson, Kenneth M. (ed.) et al., Maximum entropy and Bayesian methods. Proceedings of the 15th international workshop, Santa Fe, NM, USA, July 31–August 4, 1995. Dordrecht: Kluwer Academic Publishers. Fundam. Theor. Phys. 79, 347-353 (1996).
MSC:  76W05 76F99
PDF BibTeX XML Cite
Köln: Math.-Naturwiss. Fak., Univ. Köln, 97 S. (1994).
MSC:  65Z05 68T15 35J65 35A07
PDF BibTeX XML Cite
Johnson, Jeffrey (ed.) et al., Artificial intelligence in mathematics. Based on the proceedings of a conference, organized by The Institute of Mathematics and its Applications hosted by the University of Strathclyde, Glasgow, GB, and the Turing Institute in April 1991. Oxford: Clarendon Press. Inst. Math. Appl. Conf. Ser., New Ser. 51, 135-146 (1994).
MSC:  03B35 68T15 68N15 03F35
PDF BibTeX XML Cite
Reading, MA: Addison-Wesley. xiv, 717 p. (1993).
MSC:  68N01 68-01 68T15
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