Propositional logic for program synthesis
author
Kotkas, Vahur
statement of authorship
Vahur Kotkas
source
Tenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 2005
location of publication
[S. l.]
year of publication
2005
pages
[1 p.]. (Student talks and posters 2005 (abstracts))
subject term
matemaatiline analüüs
loogiline programmeerimine
süntees
language
inglise