|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Generic Approach to Building User Interfaces for Theorem Provers |
Bertot, Y. |
1998 |
25 | 2 |
p. 161-194 34 p. |
artikel |
|
| 2 | A Survey of User Interfaces for Computer Algebra Systems |
Kajler, N. |
1998 |
25 | 2 |
p. 127-159 33 p. |
artikel |
|
| 3 | Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions |
Gray, S. |
1998 |
25 | 2 |
p. 213-237 25 p. |
artikel |
|
| 4 | Interactive Theorem Proving: An Empirical Study of User Activity |
Aitken, J.S. |
1998 |
25 | 2 |
p. 263-284 22 p. |
artikel |
|
| 5 | NEWTON: An Interactive Environment for Exploring Mathematics |
Hayden, M.B. |
1998 |
25 | 2 |
p. 195-212 18 p. |
artikel |
|
| 6 | Special Issue on Graphical User Interfaces and Protocols |
Kajler, N. |
1998 |
25 | 2 |
p. 125- 1 p. |
artikel |
|
| 7 | The Use of Proof Planning for Co-operative Theorem Proving |
Lowe, H. |
1998 |
25 | 2 |
p. 239-261 23 p. |
artikel |
7 gevonden resultaten