×

Found 9 Documents (Results 1–9)

100
MathJax

On combinatorial proofs for modal logic. (English) Zbl 1435.03041

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 223-240 (2019).
MSC:  03B45 03F07
PDF BibTeX XML Cite
Full Text: DOI Link

In higher spaces. The path of geometry into the fourth dimension. (In höheren Räumen. Der Weg der Geometrie in die vierte Dimension.) (German) Zbl 1395.01008

Mathematik im Kontext. Berlin: Springer Spektrum (ISBN 978-3-662-54794-6/pbk; 978-3-662-54795-3/ebook). xi, 272 p. (2018).
MSC:  01-02 01A55 51-03
PDF BibTeX XML Cite
Full Text: DOI

Small scale retrodigitization. (English) Zbl 1170.68486

Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 103-113 (2008).
MSC:  68P99
PDF BibTeX XML Cite
Full Text: EuDML

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software