×

zbMATH — the first resource for mathematics

Found 23 Documents (Results 1–23)

100
MathJax
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 119-129, electronic only (2012).
MSC:  68N30 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 62-72, electronic only (2011).
MSC:  68T15 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI Link
Seising, Rudolf (ed.) et al., Form, number, order. Studies on the history of science and technology. Festschrift for Ivo Schneider to his 65th birthday. Stuttgart: Franz Steiner Verlag (ISBN 3-515-08525-4/hbk). Boethius. Texte und Abhandlungen zur Geschichte der Mathematik und der Naturwissenschaften 48, 563-575 (2004).
MSC:  01A50 01A73
PDF BibTeX XML Cite
Bernard Bolzano-Gesamtausgabe. Reihe II: Nachlaß. A. Nachgelassene Schriften. 11.1. Stuttgart-Bad Cannstatt: Friedrich Frommann Verlag-Günther Holzboog (ISBN 3-7728-2194-4/hbk). 195 p. (2001).
PDF BibTeX XML Cite
Berlin: Akademie-Verlag (ISBN 3-05-000766-4). lx, 896 S. (1991).
MSC:  01A75 01A45
PDF BibTeX XML Cite
Berlin: Akademie-Verlag. 246 S. DM 58.00 (1991).
MSC:  01A45 01A50 00A30
PDF BibTeX XML Cite
Mainz: Univ. Mainz, FB Math., Diss. 195 S. (1989).
Reviewer: E.Knobloch
MSC:  01A73 01A50
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Software