×

Found 9 Documents (Results 1–9)

Metric geometries in an axiomatic perspective. (English) Zbl 1386.03005

Ji, Lizhen (ed.) et al., From Riemann to differential geometry and relativity. Cham: Springer (ISBN 978-3-319-60038-3/hbk; 978-3-319-60039-0/ebook). 413-455 (2017).
MSC:  03-03 03A05
PDFBibTeX XMLCite
Full Text: DOI

Skolem theory and generalized quantifiers. (English) Zbl 1155.03305

Hodges, Wilfrid (ed.) et al., Logic, language, information and computation. 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1–4, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69936-1/pbk). Lecture Notes in Computer Science 5110. Lecture Notes in Artificial Intelligence, 286-297 (2008).
MSC:  03B65
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software