Deductive and inductive methods for program synthesis

Kirje

Penjam, Jaan; Sanko, Jelena (2004). Deductive and inductive methods for program synthesis. International Journal of Computer & Information Sciences, 5 (3), 171−181.

Publikatsiooni tüüp

artikkel ajakirjas

Autorid, kellel on ETISe konto

Autorid

Kui väljale „Autorid, kelle on ETISE konto“ sai lisada ainult neid isikuid, kes on ETISe kasutajad, siis väljale „Autorid“ tuleks sisestada kõigi publikatsiooni autorite nimed formaadis "Perenimi, Eesnimi" või "Perenimi, E.". Mitu nime tuleks eraldada semikooloniga. Nimed tuleks jätta sellisele kujule nagu nad on publikatsiooni originaalis ja seda isegi juhul, kui mõne autori nimi on muutunud (nt abiellumise tõttu). Publikatsioonide otsing otsib nimesid nii väljalt "Autorid, kelle on ETISE konto" kui "Autorid" sisust. Kui seotud isik on toimetaja või koostaja, siis tuleks siia reale sisestada tema nimi ning lisaks ka ttegevuse lühend, nt "Perenimi, Eesnimi (Toim.)"

Penjam, Jaan; Sanko, Jelena

Keeled

Inglise

Ajakiri / jätkuväljaanne

International Journal of Computer & Information Sciences

ISSN

0091-7036

Köide

Välja inglisekeelne vaste on "Volume".

Number

Ilmumisaasta

2004

Leheküljed

171–181

Staatus

Ilmumas publikatsioonide all peetakse silmas neid, mis on väljaandesse või kogumikku vastu võetud (accepted, in press), ent toimetamise või trükiprotsess on veel pooleli. Ilmumas staatusega publikatsioonide puhul on kohustuslik lisada publikatsiooni andmetesse kas DOI või fail, mis sisaldab toimetaja kinnituskirja publikatsiooni ilmumise kohta.

Ilmunud

Klassifikatsioon

1.2. Teadusartiklid teistes rahvusvahelistes teadusajakirjades, millel on registreeritud kood, rahvusvaheline toimetus, rahvusvahelise kolleegiumiga eelretsenseerimine, rahvusvaheline levik ning kättesaadavus ja avatus kaastöödele

Open Access

Teadmata

Viited terviktekstile

URL

www.acisinternational.org/Journals_s.htm

Seotud asutused

Asutused

Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut

Lisainfo

Imporditud märksõnad

differential evolution, functional constraint networks, structural synthesis of programs

Refereerivad andmebaasid

INSPEC

Loobu

Eesti Teadusinfosüsteem

Deductive and inductive methods for program synthesis

Viited terviktekstile

Seotud asutused

Lisainfo