JUUBELIÜRITUSTE KAVA
ARVUTITEADUS
| LOOGIKA ARVUTITEADUSES |
Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / Ed. R. Nieuwenhuis. - Berlin : Springer, 2005. xiii, 457, [2] p. - (Lecture notes in computer science ; 3632). |
|
Fermüller C., Leitsch A., Tammet T., Zamov N. Resolution methods for the decision problem. - Berlin : Springer, 1993. viii, 205 p. - (Lecture Notes in Artificial Intelligence ; 679). |
|
Mints G. A short introduction to modal logic. - Stanford : Center for the Study of Language and Information, 1992. x, 91 p. - (CSLI Lecture Notes ; 30). ESTER • Google Books |
|
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988 : Proceedings / Eds. P. Martin-Löf, G. Mints. - Berlin : Springer, 1990. vi, 338 p. - (Lecture Notes in Computer Science ; 417). |
|
Уусталу Т., Пентус М. Секвенциальные системы модальных исчислений / Академия наук Эстонии, [Институт кибернетики], Отделение информатики и технических наук. Таллинн : Академия наук Эстонии, 1989. 55 с. Препринт. |
|
IV Всесоюзная конференция „Применеие методов математической логики" : тезисы докладов. [Т. 1.] : Секция Логика взаимодействующих процессов. Секция Алгоритмика трудных задач / Под редакцией Г. Е. Минца, П. П. Лоренца; Институт кибернетики Академии наук Эстонской ССР. Таллин : Академия наук Эстонской ССР, 1986. 97 с. |
|
IV Всесоюзная конференция „Применеие методов математической логики" : тезисы докладов. [Т. 2.] : Представление знаний и синтез программ / Под редакцией Г. Е. Минца, П. П. Лоренца; Институт кибернетики Академии наук Эстонской ССР. Таллин: Академия наук Эстонской ССР, 1986. 202 с. |
|
Автоматический синтез программ / Академия наук Эстонской ССР, Институт кибернетики ; редакторы Г. Е. Минц, Э. Х. Тыугу. Таллин : Академия наук Эстонской ССР, 1983. 203 c. |
|
Минц, Г. Е. Логические основы синтеза программ. Таллин : Академия наук Эстонскй ССР, 1982. 45 c. Препринт. |
|
|
|