prindi

Propositional logic for program synthesis

autor
Kotkas, Vahur
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))
märksõna
matemaatiline analüüs
loogiline programmeerimine
süntees
keel
inglise
Kotkas, V. Propositional logic for program synthesis // Tenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 2005. [S. l.], 2005. [1 p.]. (Student talks and posters 2005 (abstracts)).