Об одном методе автоматической генерации утверждений по примерам
autor
vastutusandmed
Л. Выханду
ilmumiskoht
Таллин
kirjastus/väljaandja
ilmumisaasta
leheküljed
с. 54-55 : илл
konverentsi nimetus, aeg
Применение методов математической логики : IV всесоюзная конференция, 1986 г.
konverentsi toimumispaik
Таллинн
leitav
märkused
Библиогр.: 5 назв
TTÜ struktuuriüksus
keel
vene
Выханду, Л. Об одном методе автоматической генерации утверждений по примерам // Применение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов. Таллин : Академия наук Эстонской ССР, 1986. с. 54-55 : илл.