×

Found 2 Documents (Results 1–2)

A geometric procedure with Prover9. (English) Zbl 1383.68080

Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 139-150 (2013).
MSC:  68T15 14H52 14Q05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software