Deductive and inductive methods for program synthesis
autor
vastutusandmed
J.Penjam, J.Sanko
allikas
International journal of computer and information sciences
ajakirja aastakäik number kuu
5
ilmumisaasta
leheküljed
3, p. 171-181
ISSN
0091-7036
keel
inglise
Penjam, J., Sanko, J. Deductive and inductive methods for program synthesis // International journal of computer and information sciences (2004) 5, 3, p. 171-181.