Structural synthesis of programs with preconditions
author
Kotkas, Vahur
statement of authorship
Vahur Kotkas
source
Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005
location of publication
Tartu
publisher
Tartu University Press
year of publication
2005
pages
p. 70-81 : ill
subject term
süntees
programmeerimiskeeled
loogiline programmeerimine
ISBN
9949-11-113-7
notes
Bibliogr.: 14 ref
language
inglise