|
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 Minimal Graphical User Interface for the Jape Proof Calculator |
Bornat, Richard |
1999 |
11 | 3 |
p. 244-271 |
artikel |
|
| 2 | Editorial |
, |
1999 |
11 | 3 |
p. 223-224 |
artikel |
|
| 3 | Interactive Proof Critics |
Ireland, Andrew |
1999 |
11 | 3 |
p. 302-325 |
artikel |
|
| 4 | LΩUI: Lovely ΩMEGA User Interface |
Siekmann, Jörg |
1999 |
11 | 3 |
p. 326-342 |
artikel |
|
| 5 | Proving as Editing HOL Tactics |
Takahashi, Koichi |
1999 |
11 | 3 |
p. 343-357 |
artikel |
|
| 6 | Social and Semiotic Analyses for Theorem Prover User Interface Design 1 |
Goguen, Joseph |
1999 |
11 | 3 |
p. 272-301 |
artikel |
|
| 7 | The CtCoq System: Design and Architecture |
Bertot, Yves |
1999 |
11 | 3 |
p. 225-243 |
artikel |
7 gevonden resultaten