logo
Autor
Минц, Григорий Ефимович, 1939-
Pealkiri
Логические основы синтеза программ / Григорий Ефимович Минц
Ilmumisandmed
Таллин : Академия наук Эстонской ССР, 1982
Füüsiline kirjeldus
45 lk. ; 20 cm
Seeria pealkiri
Препринт / Академия наук Эстонской ССР. Отделение физико-математических и технических наук ; 1982
Preprint (Eesti NSV Teaduste Akadeemia, Füüsika-Matemaatika- ja Tehnikateaduste Osakond) ; 1982 (vene k.)
Märkus
Sisaldab bibliograafiat
Kokkuvõte eesti ja inglise keeles
Märksõnad
matemaatiline loogika; automaatprogrammeerimine; preprindid
Kollektiivautorid
Eesti NSV Teaduste Akadeemia.. Füüsika-Matemaatika- ja Tehnikateaduste Osakond
UDK
510.24 (0.036.4)
004.4'242 (0.036.4)