| Tartalom: |
http://ojs.elte.hu/cejntrep/article/view/470 |
| Archívum: |
CEJNTREP |
| Gyűjtemény: |
Scientific Papers
|
| Cím: |
Interactive Teaching of Programming Language Theory with a Proof Assistant
|
| Létrehozó: |
Bereczky, Péter
Donkó, István
Horpácsi, Dániel
Kaposi, Ambrus
Németh, Dávid János
|
| Kiadó: |
Eötvös Loránd University, Faculty of Informatics
|
| Dátum: |
2020-04-28
|
| Tartalmi leírás: |
|
| Nyelv: |
angol
|
| Típus: |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
|
| Formátum: |
application/pdf
|
| Azonosító: |
10.36427/CEJNTREP.2.1.470
|
| Forrás: |
Central-European Journal of New Technologies in Research, Education and Practice; 2020: Volume 2, Number 1; 19-33
Central-European Journal of New Technologies in Research, Education and Practice; 2020: Volume 2, Number 1; 19-33
2676-9425
10.36427/CEJNTREP.2.1
|
| Kapcsolat: |
|
| Létrehozó: |
|
