Deductive and inductive methods for program synthesis
author
Penjam, Jaan
Sanko, Jelena
statement of authorship
J.Penjam, J.Sanko
source
International journal of computer and information sciences
journal volume number month
5
year of publication
2004
pages
3, p. 171-181
url
https://cs.ioc.ee/~jaan/Papers/IJCIS/IJCIS3105.pdf
subject term
struktuurprogrammeerimine
süntees
ISSN
0091-7036
language
inglise