Otsing - TalTech teadusportaal

artikkel kogumikus

Немонолитная логика эталонных процессовTepandi, JaakПрименение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов1986 / с. 71-73 https://www.ester.ee/record=b1246479*est

artikkel kogumikus

О структурно-симметрических функцияхHenno, JaakПрименение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов1986 / с. 187-188 https://www.ester.ee/record=b1246479*est

artikkel kogumikus

Об одном методе автоматической генерации утверждений по примерамVõhandu, LeoПрименение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов1986 / с. 54-55 : илл https://www.ester.ee/record=b1246493*est https://www.digar.ee/viewer/et/nlib-digar:914511/452305/page/56

artikkel kogumikus

vaste

reasta

teaviku laadid