TalTech publikatsioonid
pealdis Kotkas, V.
maakood ex
autor Kotkas, Vahur
pealkiri Propositional logic for program synthesis
vastutusandmed Vahur Kotkas
allikas Tenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 2005
ilmumiskoht [S. l.]
ilmumisaasta [2005]
leheküljed [1 p.]. (Student talks and posters 2005 (abstracts))