×

zbMATH — the first resource for mathematics

Found 308 Documents (Results 1–100)

100
MathJax
Lecture Notes in Logic 50. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-47898-4/hbk; 978-1-108-78171-8/ebook). x, 359 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Logic 48. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-41558-3/hbk; 978-1-108-23423-8/ebook). vii, 243 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-3225-48-0/hbk; 978-981-3225-50-3/ebook). x, 460 p., 16 p./booklet (2018).
PDF BibTeX XML Cite
Full Text: DOI
O’Donnell, Ryan (ed.), 32nd computational complexity conference, CCC 2017, July 6–9, 2017, Riga, Latvia. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 79, Article 17, 18 p. (2017).
MSC:  68Q30 62A01 62B10
PDF BibTeX XML Cite
Full Text: DOI
Mathematical Surveys and Monographs 220. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3182-2/hbk; 978-1-4704-4083-1/ebook). xviii, 511 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Cham: Springer (ISBN 978-3-319-54980-4/hbk; 978-3-319-54981-1/ebook). xix, 275 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Logic 47. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-01452-7/hbk; 978-1-139-02886-8/ebook). ix, 543 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 669-737 (2017).
Reviewer: Liang Yu (Nanjing)
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 10010. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). xlii, 755 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Structural sparsity. (English. Russian original) Zbl 1367.03065
Russ. Math. Surv. 71, No. 1, 79-107 (2016); translation from Usp. Mat. Nauk 71, No. 1, 85-116 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Boca Raton, FL: CRC Press/Apple Academic Press (ISBN 978-1-77188-247-7/hbk; 978-1-77188-248-4/ebook). xiv, 295 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Vovk, Vladimir (ed.) et al., Measures of complexity. Festschrift for Alexey Chervonenkis. Cham: Springer (ISBN 978-3-319-21851-9/hbk; 978-3-319-21852-6/ebook). 235-252 (2015).
MSC:  62A01 68Q30 62B10
PDF BibTeX XML Cite
Full Text: DOI arXiv
Ontos Mathematical Logic 5. Berlin: De Gruyter (ISBN 978-1-61451-772-6/hbk; 978-1-61451-687-3/ebook). xvi, 421 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 123-132 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-4449-26-7/hbk; 978-981-4449-28-1/ebook). viii, 337 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Dowe, David L. (ed.), Algorithmic probability and friends. Bayesian prediction and artificial intelligence. Papers from the Ray Solomonoff 85th memorial conference, Melbourne, VIC, Australia, November 30 – December 2, 2011. Berlin: Springer (ISBN 978-3-642-44957-4/pbk). Lecture Notes in Computer Science 7070. Lecture Notes in Artificial Intelligence, 79-90 (2013).
MSC:  60A99 68Q30 68T05
PDF BibTeX XML Cite
Full Text: DOI
Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 350-362 (2013).
MSC:  68Q30 03D75 18A15
PDF BibTeX XML Cite
Full Text: DOI arXiv
Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-319-00118-0/hbk; 978-3-319-00119-7/ebook). xiv, 695 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Ronchi Della Rocca, Simona (ed.) et al., Proceedings of the 6th workshop on logical and semantic frameworks, with applications, Belo Horizonte, Brazil, August 27, 2011. Waterloo: Open Publishing Association (OPA). Electronic Proceedings in Theoretical Computer Science (EPTCS) 81, 79-84 (2012).
PDF BibTeX XML Cite
Full Text: Link
Krömer, Ralf (ed.) et al., New essays on Leibniz reception: In science and philosophy of science 1800–2000. Result of the meeting “Leibniz reception in the sciences and philosophy of science 1850–1950”, Nancy, France, April 2008. Basel: Birkhäuser (ISBN 978-3-0346-0503-8/hbk; 978-3-0346-0504-5/ebook). Publications des Archives Henri Poincaré. Publications of the Henri Poincaré Archives, 257-265 (2012).
PDF BibTeX XML Cite
Full Text: DOI
D’Ariano, Mauro (ed.) et al., Foundations of probability and physics – 6. Proceedings of the international conference, Växjö, Sweden, June 14–16, 2011. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-1004-6/pbk). AIP Conference Proceedings 1424, 371-386 (2012).
PDF BibTeX XML Cite
Full Text: DOI
München: Univ. München, Fakultät für Mathematik, Informatik und Statistik (Diss.). xi, 167 p. (2012).
PDF BibTeX XML Cite
Full Text: Link
Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 35-45 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 7388. Berlin: Springer (ISBN 978-3-642-31484-1/pbk). vii, 265 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Dinneen, Michael J. (ed.) et al., Computation, physics and beyond. International workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21–24, 2012. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-27653-8/pbk). Lecture Notes in Computer Science 7160, 203-223 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Dinneen, Michael J. (ed.) et al., Computation, physics and beyond. International workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21–24, 2012. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-27653-8/pbk). Lecture Notes in Computer Science 7160, 94-104 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Miri, Ali (ed.) et al., Selected areas in cryptography. 18th international workshop, SAC 2011, Toronto, ON, Canada, August 11–12, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28495-3/pbk). Lecture Notes in Computer Science 7118, 134-150 (2012).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-51769-0/hbk; 978-1-139-03190-5/ebook). xiii, 465 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 47. Waterloo: Open Publishing Association (OPA). 84 p., open access (2011).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link
Studies in Logic (London) 38. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-054-7/pbk). xvii, 469-928. (2011).
MSC:  03-00 03B52 00B15
PDF BibTeX XML Cite
Studies in Logic (London) 37. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-039-4/pbk). xxi, 468 p. (2011).
PDF BibTeX XML Cite
Contemporary Mathematics 558. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4943-9/pbk). viii, 519 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
CIME Summer Schools 79. Berlin: Springer; Firenze: Fondazione CIME Roberto Conti (ISBN 978-3-642-11071-9/pbk; 978-3-642-11072-6/ebook). 236 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Lomonaco, Samuel J. jun. (ed.), Quantum information science and its contributions to mathematics. American Mathematical Society short course, January 3–4, 2009, Washington, DC, USA. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4828-9/hbk). Proceedings of Symposia in Applied Mathematics 68, 103-176 (2010).
MSC:  81P45 57M25 18D10 54E05 54E70 54F05 68Q12 81P10 81P13 81P68
PDF BibTeX XML Cite
Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 21-30 (2010).
MSC:  68Q05 68Q12 81P10
PDF BibTeX XML Cite
Full Text: DOI
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

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