Automated reasoning contributes to mathematics and logic

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 485-499
https://doi.org/10.1007/3-540-52885-7_109

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Parallelizing the closure computation in automated deduction
Published by Springer Nature ,1990
Using automated reasoning tools: A study of the semigroupF 2 B 2
Semigroup Forum, 1987
A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains
Artificial Intelligence, 1984