Deductive and inductive methods for program synthesis
autor
Penjam, Jaan
Sanko, Jelena
vastutusandmed
J.Penjam, J.Sanko
allikas
International journal of computer and information sciences
ajakirja aastakäik number kuu
5
ilmumisaasta
2004
leheküljed
3, p. 171-181
leitav
https://cs.ioc.ee/~jaan/Papers/IJCIS/IJCIS3105.pdf
märksõna
struktuurprogrammeerimine
süntees
ISSN
0091-7036
keel
inglise