Concepedia

Publication | Closed Access

The Boyer-Moore theorem prover and its interactive enhancement

DOI

96

Citations

25

References

1995

Year

R. S. Boyer, Matt Kaufmann, J Strother Moore
Computers & Mathematics with Applications

References

YearCitations

Page 1