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 (extended abstract)

Sanko, J.; Penjam, J. (2003). Deductive and inductive methods for program synthesis (extended abstract). Proceedings of the 15th Nordic Workshop on Programming Theory, NWPT'03, Turku, 29.-31.10.2003. Ed. Sere, K.; Waldén, M. Turku: Åbo Akademi University, 16−18. (Reports on Computer Science and Mathematics, Ser. B; 34).
publitseeritud konverentsiettekanne
Sanko, J.; Penjam, J.
  • Inglise
Proceedings of the 15th Nordic Workshop on Programming Theory, NWPT'03, Turku, 29.-31.10.2003
Sere, K.; Waldén, M.
Turku
Åbo Akademi University
1235-7502
952-12-1238-1
Reports on Computer Science and Mathematics, Ser. B
34
2003
1618
Ilmunud
5.2. Konverentsiteesid, mis ei kuulu valdkonda 5.1
Teadmata

Viited terviktekstile