×

Found 18 Documents (Results 1–18)

Categories: how I learned to stop worrying and love two sorts. (English) Zbl 1478.03042

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 145-164 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cancellation patterns in automatic geometric theorem proving. (English) Zbl 1350.68222

Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 1-33 (2011).
MSC:  68T15 03B35 51A05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field