Otsing - TalTech teadusportaal

kuva

reasta

51

artikkel ajakirjas

Review of Christopher Morgan's The pamphlets of Lewis Carroll : games, puzzles, and related piecesMoktefi, AmiroucheLewis Carroll review2017 / p. 14-16

artikkel ajakirjas

52

raamat

Solving large systems of logical equationsZakrevskij, Arkadij D2013 http://www.ester.ee/record=b3000573*est

raamat

53

artikkel ajakirjas

The depth of functions in m-valued logicHenno, JaakElektronische Informationsverarbeitung und Kybernetik1979 / S. 33-36 https://www.ester.ee/record=b1505001*est

artikkel ajakirjas

54

artikkel ajakirjas

The depth of monotone functions in multivalued logicHenno, JaakInformation processing letters1979 / p. 176-177 https://www.ester.ee/record=b3201538*est

artikkel ajakirjas

55

raamat

The Mathematical World of Charles L. Dodgson (Lewis Carroll)2019 https://doi.org/10.1093/oso/9780198817000.001.0001

raamat

56

artikkel kogumikus

Towards normalization by evaluation for Lambek CalculusVeltri, Niccolo32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 4 p http://icetcs.ru.is/nwpt21/abstracts/paper34.pdf http://icetcs.ru.is/nwpt21/programme.html

artikkel kogumikus

57

artikkel kogumikus

Two set-based implementations of quotients in type theoryVeltri, NiccoloProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 149-152

artikkel kogumikus

58

artikkel kogumikus

Исчисление высказываний и элементы теории множеств во введении в инженерную математикуJõgi, Tiiu; Tammeraid, IvarЗональное совещание-семинар заведующих кафедрами и ведущих преподавателей математики вузов Белорусской, Латвийской, Литовской, Эстонской ССР и Калининградской области РСФСР : Вильнюс, 12-14 окт. 1983 г. : тезисы докладов1983 / с. 100 https://www.ester.ee/record=b1564990*est

artikkel kogumikus

59

artikkel kogumikus

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

artikkel kogumikus

60

artikkel kogumikus

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

artikkel kogumikus

matemaatiline loogika (märksõna)

teaviku laadid

märksõna 18

võtmesõna 1