|
Книга ID: 2936393
Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : диссертация ... кандидата физико-математических наук : 05.13.11
Тематика, ключевые слова:
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Сведения об издании:
Санкт-Петербург 2007 194 с.
Язык:
rus
|
|