Об одном методе автоматической генерации утверждений по примерам
autor
Võhandu, Leo
vastutusandmed
Л. Выханду
allikas
Применение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов
ilmumiskoht
Таллин
kirjastus/väljaandja
Академия наук Эстонской ССР
ilmumisaasta
1986
leheküljed
с. 54-55 : илл
konverentsi nimetus, aeg
Применение методов математической логики : IV всесоюзная конференция, 1986 г.
konverentsi toimumispaik
Таллинн
leitav
https://www.ester.ee/record=b1246493*est
https://www.digar.ee/viewer/et/nlib-digar:914511/452305/page/56
märkused
Библиогр.: 5 назв
TTÜ struktuuriüksus
infotöötluse kateeder
keel
vene