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