×

zbMATH — the first resource for mathematics

Found 138 Documents (Results 1–100)

100
MathJax
Fontana, Marco (ed.) et al., Rings, polynomials, and modules. Proceedings of the conferences “Recent advances in commutative ring and module theory”, Bressanone/Brixen, Italy, June 13–17, 2016 and “Conference on rings and polynomials”, Graz, Austria, July 3–8, 2016. Cham: Springer (ISBN 978-3-319-65872-8/hbk; 978-3-319-65874-2/ebook). 145-158 (2017).
MSC:  13B02 13L05 13A15
PDF BibTeX XML Cite
Full Text: DOI
Springer Monographs in Mathematics. Berlin: Springer (ISBN 978-1-4471-2172-5/hbk; 978-1-4471-2173-2/ebook). xvi, 453 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Crabbé, Marcel (ed.) et al., Proceedings of the 70th anniversary NF meeting in Cambridge. Commemorating the 70th year of the publication of Quine’s seminal paper “New foundations for mathematical logic”, Cambridge, UK, Mai 26–27, 2007. Louvain-la-Neuve: Academia-Bruylant (ISBN 978-2-87209-937-5/pbk). Cahiers du Centre de Logique 16, 89-98 (2009).
MSC:  03E10 03E25 03E70
PDF BibTeX XML Cite
Hecht, Hartmut (ed.) et al., Kosmos und Zahl. Beiträge zur Mathematik- und Astronomiegeschichte, zu Alexander von Humboldt und Leibniz. Stuttgart: Franz Steiner Verlag (ISBN 978-3-515-09176-3/hbk). Boethius. Texte und Abhandlungen zur Geschichte der Mathematik und der Naturwissenschaften 58, 309-318 (2008).
PDF BibTeX XML Cite
Cambridge Tracts in Theoretical Computer Science. 51. Cambridge: Cambridge University Press. xxv, 384 p. (2000).
PDF BibTeX XML Cite
Madrid: Alianza Editorial (ISBN 84-206-4243-6). 194 p. (1998).
PDF BibTeX XML Cite
Richter, Michael M. (ed.) et al., Algorithmic learning theory. 9th international conference, ALT ’98, Otzenhausen, Germany, October 8–10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1501, 321-335 (1998).
PDF BibTeX XML Cite
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1289, 4-17 (1997).
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
Software