See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Deductive and inductive methods for program synthesis

Penjam, J.; Sanko, E. (2003). Deductive and inductive methods for program synthesis. Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), (October 16-18, 2003, Lübeck, Germany). Ed. Dosch, W.; Lee, R.Y. Mt.Pleasant, MI: ACIS, 188−195.
publitseeritud konverentsiettekanne
Penjam, J.; Sanko, E.
  • Inglise
Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), (October 16-18, 2003, Lübeck, Germany)
Dosch, W.; Lee, R.Y.
Mt.Pleasant, MI
ACIS
0-9700776-7-X
2003
188195
Ilmunud
3.2. Artiklid/peatükid lisas mitte loetletud kirjastuste välja antud kogumikes
Teadmata

Viited terviktekstile

Lisainfo

ACIS (International Association for Computer and Information Sciences )