×

zbMATH — the first resource for mathematics

Found 246 Documents (Results 1–100)

100
MathJax
Trends in Logic – Studia Logica Library 50. Cham: Springer (ISBN 978-3-030-12095-5/hbk; 978-3-030-12098-6/pbk; 978-3-030-12096-2/ebook). xv, 95 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Ibadula, Denis (ed.) et al., Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference “Experimental and theoretical methods in algebra, geometry and topology”, Eforie Nord, Romania, June 20–25, 2013. Cham: Springer (ISBN 978-3-319-09185-3/hbk; 978-3-319-09186-0/ebook). Springer Proceedings in Mathematics & Statistics 96, 37-84 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Czermak, J. (ed.) et al., Proceedings of the 81st workshop on general algebra “81. Arbeitstagung Allgemeine Algebra”, Salzburg, Austria, February 3–6, 2011. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0447-9/pbk). Contributions to General Algebra 20, 19-28 (2012).
MSC:  06A15 06C15
PDF BibTeX XML Cite
Springer Monographs in Mathematics. New York, NY: Springer (ISBN 978-0-387-09780-0/hbk; 978-0-387-09781-7/ebook). xxii, 666 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
Le Thi, Hoai An (ed.) et al., Modelling, computation and optimization in information systems and management sciences. Second international conference MCO 2008, Metz, France - Luxembourg, September 8–10, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87476-8/pbk). Communications in Computer and Information Science 14, 450-457 (2008).
MSC:  90C09
PDF BibTeX XML Cite
Full Text: DOI
Abad, Manuel (ed.) et al., Actas del IX congreso de matemática “Dr. Antonio A. R. Monteiro”. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 79-106 (2008).
PDF BibTeX XML Cite
Mosc. Univ. Comput. Math. Cybern. 32, No. 3, 147-151 (2008); translation from Vestn. Mosk. Univ. 2008, No. 3, 30-33 (2008).
MSC:  03G05 03B50 06E30
PDF BibTeX XML Cite
Full Text: DOI
Hendricks, Vincent (ed.) et al., First-order logic revisited. Proceedings of the conference FOL75 – 75 years of first-order logic, Humboldt-University, Berlin, Germany, September 18–21, 2003. Berlin: Logos Verlag (ISBN 3-8325-0475-3/pbk). Logische Philosophie 12, 117-128 (2004).
PDF BibTeX XML Cite
Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No. 14 (1999).
PDF BibTeX XML Cite
Full Text: Link
Dokl. Math. 57, No. 2, 182-184 (1998); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 359, No. 1, 16-18 (1998).
MSC:  03B50 94C10 08A40
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
Biographic Reference
all top 3
Software