Об одном методе автоматической генерации утверждений по примерам
author
statement of authorship
Л. Выханду
location of publication
Таллин
publisher
year of publication
pages
с. 54-55 : илл
conference name, date
Применение методов математической логики : IV всесоюзная конференция, 1986 г.
conference location
Таллинн
url
notes
Библиогр.: 5 назв
TalTech department
language
vene
Выханду, Л. Об одном методе автоматической генерации утверждений по примерам // Применение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов. Таллин : Академия наук Эстонской ССР, 1986. с. 54-55 : илл.