Cargando…
ERIL - equational reasoning: an interactive laboratory
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
1985
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/165767 |
| _version_ | 1780880951423795200 |
|---|---|
| author | Dick, A J J |
| author_facet | Dick, A J J |
| author_sort | Dick, A J J |
| collection | CERN |
| id | cern-165767 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 1985 |
| record_format | invenio |
| spelling | cern-1657672019-09-30T06:29:59Zhttp://cds.cern.ch/record/165767engDick, A J JERIL - equational reasoning: an interactive laboratoryComputing and ComputersRAL-86-010oai:cds.cern.ch:1657671985 |
| spellingShingle | Computing and Computers Dick, A J J ERIL - equational reasoning: an interactive laboratory |
| title | ERIL - equational reasoning: an interactive laboratory |
| title_full | ERIL - equational reasoning: an interactive laboratory |
| title_fullStr | ERIL - equational reasoning: an interactive laboratory |
| title_full_unstemmed | ERIL - equational reasoning: an interactive laboratory |
| title_short | ERIL - equational reasoning: an interactive laboratory |
| title_sort | eril - equational reasoning: an interactive laboratory |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/165767 |
| work_keys_str_mv | AT dickajj erilequationalreasoninganinteractivelaboratory |