×

Found 4 Documents (Results 1–4)

From Tarski to Hilbert. (English) Zbl 1397.03019

Ida, Tetsuo (ed.) et al., Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17–19, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-40671-3/pbk). Lecture Notes in Computer Science 7993. Lecture Notes in Artificial Intelligence, 89-109 (2013).
MSC:  03B35 03B30 68T15
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software