×

zbMATH — the first resource for mathematics

Found 363 Documents (Results 1–100)

100
MathJax
Stavrinides, Stavros G. (ed.) et al., Chaos and complex systems. Proceedings of the 5th international interdisciplinary chaos symposium on chaos and complex systems, CCS 2019, Antalya, Turkey, May 9–12, 2019. Cham: Springer. Springer Proc. Complex., 37-44 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Sb. Math. 206, No. 11, 1628-1656 (2015); translation from Mat. Sb. 206, No. 11, 131-160 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Urban, Christian (ed.) et al., Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9236, 391-404 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Dubucs, Jacques (ed.) et al., Constructivity and computability in historical and philosophical perspective. Dordrecht: Springer (ISBN 978-94-017-9216-5/hbk; 978-94-017-9217-2/ebook). Logic, Epistemology, and the Unity of Science 34, 1-35 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 79-107 (2014).
PDF BibTeX XML Cite
Full Text: arXiv
Mashreghi, Javad (ed.) et al., Blaschke products and their applications. Proceedings based on the presentations at the conference, Toronto, Canada, July 25–29, 2011. New York, NY: Springer; Toronto: Fields Institute for Research in Mathematical Sciences (ISBN 978-1-4614-5340-6/hbk; 978-1-4614-5341-3/ebook). Fields Institute Communications 65, 223-248 (2013).
MSC:  03F60 30J05 30J10
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Springer (ISBN 978-1-4419-7584-3/hbk; 978-1-4419-7585-0/ebook). xiv, 477 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Arai, T. (ed.) et al., Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1–6, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4293-01-3/hbk; 978-981-4293-02-0/ebook). 263-270 (2010).
PDF BibTeX XML Cite
Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 61-74 (2009).
MSC:  68N30 03B15 03D20 68N18
PDF BibTeX XML Cite
Full Text: DOI
Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 299-308 (2008).
MSC:  03F60 68Q05 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 207-217 (2008).
MSC:  03F60 30B40 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Mathematics 523. Berlin: Springer (ISBN 978-3-540-76954-5/pbk). x, 176 p. (2008).
PDF BibTeX XML Cite
Full Text: DOI
Cai, Jin-Yi (ed.) et al., Theory and applications of models of computation. Third international conference, TAMC 2006, Beijing, China, May 15–20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34021-1/pbk). Lecture Notes in Computer Science 3959, 783-792 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 134-159 (2006).
PDF BibTeX XML Cite
Schlomiuk, Dana et al., On finiteness in differential equations and Diophantine geometry. Edited by Dana Schlomiuk. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-2805-3/hbk). CRM Monograph Series 24, 41-109 (2005).
PDF BibTeX XML Cite
PDF BibTeX XML Cite
Full Text: DOI
Alt, Helmut (ed.) et al., STACS 2003. 20th annual symposium of theoretical aspects on computer science, Berlin, Germany, February 27 – March 1, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00623-0/pbk). Lect. Notes Comput. Sci. 2607, 167-178 (2003).
MSC:  03F60 03D45 26E40
PDF BibTeX XML Cite
Full Text: Link
Sieg, Wilfried (ed.) et al., Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Natick, MA: A K Peters. Lect. Notes Log. 15, 164-181 (2002).
Reviewer: U.Schöning (Ulm)
PDF BibTeX XML Cite
Theor. Math. Phys. 128, No. 3, 1181-1192 (2001); translation from Teor. Mat. Fiz. 128, No. 3, 409-421 (2001).
PDF BibTeX XML Cite
Full Text: DOI
Kahle, Reinhard (ed.) et al., Proof theory in computer science. International seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2183, 68-77 (2001).
PDF BibTeX XML Cite
Full Text: Link
Kosaraju, Deborah, Proceedings of the 12th annual ACM-SIAM symposium on discrete algorithms. Washington, DC, USA, January 7-9, 2001. Philadelphia, PA: SIAM, Society for Industrial and Applied Mathematics. 496-505 (2001).
MSC:  65H05 12Y05 30C15 65D18 26C10
PDF BibTeX XML Cite
Belmont, CA: Wadsworth/Thomson Learning. 299 p., 38 p. (2000).
PDF BibTeX XML Cite
Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 188-203 (1999).
PDF BibTeX XML Cite
Contemporary Mathematics. 236. Providence, RI: American Mathematical Society (AMS). xviii, 379 p. (1999).
PDF BibTeX XML Cite
Full Text: DOI
Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 265-282 (1998).
MSC:  03-03 03Dxx 01A60
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