|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Adaptable Mixed-Initiative Proof Planning for Educational Interaction |
Meier, Andreas |
2004 |
103 | C |
p. 105-120 16 p. |
artikel |
|
| 2 | as Authoring Tool for Formal Developments |
Audebaud, Philippe |
2004 |
103 | C |
p. 27-48 22 p. |
artikel |
|
| 3 | Colouring Proofs: A Lightweight Approach to Adding Formal Structure to Proofs |
Théry, Laurent |
2004 |
103 | C |
p. 121-138 18 p. |
artikel |
|
| 4 | Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments |
Kiniry, Joseph R. |
2004 |
103 | C |
p. 81-103 23 p. |
artikel |
|
| 5 | Interactive Theorem Proving with Tasks |
Hübner, M. |
2004 |
103 | C |
p. 161-181 21 p. |
artikel |
|
| 6 | Preface |
Aspinall, David |
2004 |
103 | C |
p. 1-2 2 p. |
artikel |
|
| 7 | Proof General meets IsaWin |
Aspinall, David |
2004 |
103 | C |
p. 3-26 24 p. |
artikel |
|
| 8 | Taclets and the KeY Prover |
Giese, Martin |
2004 |
103 | C |
p. 67-79 13 p. |
artikel |
|
| 9 | Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants |
Völker, Norbert |
2004 |
103 | C |
p. 139-159 21 p. |
artikel |
|
| 10 | Visualizing Geometrical Statements with GeoView |
Bertot, Yves |
2004 |
103 | C |
p. 49-65 17 p. |
artikel |
10 gevonden resultaten