×

Found 72 Documents (Results 1–72)

OTTER proofs in Tarskian geometry. (English) Zbl 1414.68099

Demri, Stéphane (ed.) et al., Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19–22, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8562, 495-510 (2014).
MSC:  68T15 51K05 51M05
PDFBibTeX XMLCite
Full Text: DOI

The legacy of a great researcher. (English) Zbl 1383.68004

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, 1-14 (2013).
MSC:  68-03 01A70 68T15
PDFBibTeX XMLCite
Full Text: DOI

The flowering of automated reasoning. (English) Zbl 1098.68700

Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 204-227 (2005).
MSC:  68T15 03B35 68-02 68-03
PDFBibTeX XMLCite
Full Text: DOI

The automation of sound reasoning and successful proof finding. (English) Zbl 1064.03011

Jacquette, Dale (ed.), A companion to philosophical logic. Malden, MA: Blackwell Publishers (ISBN 0-631-21671-5/hbk). Blackwell Companions Philos. 22, 709-723 (2002).
Reviewer: Nail Zamov (Kazan)
MSC:  03B35 68T15
PDFBibTeX XMLCite

The collected works of Larry Wos. Vol. 1: Exploring the power of automated reasoning. Vol. 2: Applying automated reasoning to puzzles, problems, and open questions. (English) Zbl 0967.68127

Singapore: World Scientific (ISBN 981-02-4001-5/set; 981-02-4996-9/vol1; 981-02-4998-5/vol2; 978-981-281-341-1/ebook/Vol1; 978-981-281-341-1/ebook/Vol2). xvii, 1639 p. (2000).
Reviewer: N.Zamov (Kazan’)
MSC:  68T01 68T15 68-02 68T20
PDFBibTeX XMLCite
Full Text: Link

Application of automated deduction to the search for single axioms for exponent groups. (English) Zbl 0925.20002

Voronkov, A. (ed.), Logic programming and automated reasoning. International conference, LPAR ’92, St. Peterburg, Russia, July 15–20, 1992. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 624, 131-136 (1992).
MSC:  20A05 20-04 68T15 68N17 20F50 20E10
PDFBibTeX XMLCite

Automated reasoning contributes to mathematics and logic. (English) Zbl 1509.68326

Stickel, Mark E. (ed.), Automated deduction – CADE-10. 10th international conference, Kaiserslautern, Germany, July 24–27, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 449, 485-499 (1990).
MSC:  68V15 03B35
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software