| Preprint | |
| Report number | RAL-86-010 |
| Title | ERIL - equational reasoning : an interactive laboratory |
| Author(s) | Dick, A J J |
| Publication | 1985 |
| Imprint | 1985 |
| Number of pages | 34 |
| Subject category | Computing and Computers |
レコード 生成： 1990-01-29, 最終変更： 2014-12-15
| ホーム > ERIL - equational reasoning |
| Preprint | |
| Report number | RAL-86-010 |
| Title | ERIL - equational reasoning : an interactive laboratory |
| Author(s) | Dick, A J J |
| Publication | 1985 |
| Imprint | 1985 |
| Number of pages | 34 |
| Subject category | Computing and Computers |
