|
П |
Natural Semantics on the Computer |
1985 |
Clement D., Despeyroux J., Despeyroux T., Hascoet L., Kahn G. |
|
|
INRIA |
|
01.05.2002 |
|
П |
CENTAUR: the system |
1987 |
Borras P., Clement D., Despeyroux T., Incerpi J., Kahn G., Lang B., Pascual V. |
|
|
INRIA |
|
01.05.2002 |
|
СТ |
Extracting Text from Proofs |
1995 |
Coscoy Y., Kahn G., Thery L. |
|
|
|
Lecture Notes in Computer Science |
14.04.1995 |
|
СТ |
Real Theorem Provers Deserve Real User-Interfaces |
1992 |
Thery L., Bertot Y., Kahn G. |
|
|
|
Software Engineering Notes |
13.03.1993 |
|
СТ |
CENTAUR: Towards a "Software Tool Box" for Programming Environments |
1990 |
Clement D., Incerpi J., Kahn G. |
|
|
|
Lecture Notes in Computer Science |
26.02.1991 |
