|
СТ |
Real Theorem Provers Deserve Real User-Interfaces |
1992 |
Thery L., Bertot Y., Kahn G. |
|
|
|
Software Engineering Notes |
13.03.1993 |
|
СТ |
Extending the HOL Theorem Prover with a Computer Algebra System to Reason About the Reals |
1994 |
Harrison J., Thery L. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
|
СТ |
A Proof Development System for the HOL Theorem Prover |
1994 |
Thery L. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
|
СТ |
Extracting Text from Proofs |
1995 |
Coscoy Y., Kahn G., Thery L. |
|
|
|
Lecture Notes in Computer Science |
14.04.1995 |
