Об одном методе автоматической генерации утверждений по примерам
author
Võhandu, Leo
statement of authorship
Л. Выханду
source
Применение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов
location of publication
Таллин
publisher
Академия наук Эстонской ССР
year of publication
1986
pages
с. 54-55 : илл
conference name, date
Применение методов математической логики : IV всесоюзная конференция, 1986 г.
conference location
Таллинн
url
https://www.ester.ee/record=b1246493*est
https://www.digar.ee/viewer/et/nlib-digar:914511/452305/page/56
notes
Библиогр.: 5 назв
TalTech department
infotöötluse kateeder
language
vene