Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants
| Autor: | Völker, Norbert |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 3 November 2004 103:139-159 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Völker, Norbert |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 3 November 2004 103:139-159 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect