Metaprogramming on the proof level

Dévai, Gergely: Metaprogramming on the proof level. Conference of PhD Students in Computer Science, (6). p. 18. (2008)

[img] Cikk, tanulmány, mű
cscs_2008_018.pdf

Download (40kB)
Item Type: Article
Event Title: Conference of PhD students in computer science (6.) (2008) (Szeged)
Journal or Publication Title: Conference of PhD Students in Computer Science
Date: 2008
Volume: 6
Page Range: p. 18
Uncontrolled Keywords: Számítástechnika - előadáskivonat, Programozás - előadáskivonat
Date Deposited: 2019. Oct. 17. 10:01
Last Modified: 2019. Oct. 17. 10:01
URI: http://acta.bibl.u-szeged.hu/id/eprint/59904

Actions (login required)

View Item View Item