 |
|
| Boyer-Moore - Theorem Prover |
A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z
 Contents
|
|
|---|
Identification
Boyer-Moore - Theorem Prover
Observations
Forerunner of Nqthm - Boyer-Moore theorem prover and ACL2 - A Computational Logic for Applicative Common Lisp Classifications
Types of Systems: Sequential systemsDevelopment Phases: Proof - Theorem Prover
 GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|