Refine your search
Availability
-
Bibliographic level
- Книги (9)
- Статьи из сборников (1)
- Статьи из сериальных изданий (1)
-
Authors
- Mikhailov, Igor F. (1)
- Аляев, Юрий Александрович (1)
- Балдин, Константин Васильевич (1)
- Борисов, Аркадий Николаевич (1)
- Бронников, Г. К. (1)
- Брошкова, Наталья Леонидовна (1)
- Брябрин, Виктор Михайлович (1)
- Бурлуцкий, Владимир Владимирович (1)
- Инголлс, Дэниэл Генри Холмс (1)
- Лавров, Петр Лаврович (1)
- Милль, Джон Стюарт (1)
- Новосельцев, Виталий Борисович (1)
- Попов, Сергей Викторович (1)
- Смирнов, Владимир Алексеевич (1)
- Тэн, Ипполит Адольф (1)
- Тюрин, Сергей Феофентович (1)
- Уткин, Владимир Борисович (1)
- Шенк, Роджер К. (1)
- Шилль, И. (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (8)
- 1 месяц (4)
- 6 месяцев (1)
-
Topics
- логические выводы (11)
- аксиомы (2)
- доказательства (2)
- законы природы (2)
- когнитивная наука (2)
- логика (2)
- логические исчисления (2)
- математическая логика (2)
- наблюдения (2)
- определения (2)
- программное обеспечение (2)
- семантика (2)
- синтаксис (2)
- экспертные системы (2)
- CASE-технологии (1)
- FTN-технологии (1)
- MARGIE. (1)
- RAD-технология (1)
- Библиотека Г. К. Тюменцева (1)
- Гангеша (1)
- Джаядева Пакшадхара (1)
- Интернет (1)
- Искусственный интеллект - Сборники (1)
- Книжные памятники Томской области (1)
- Лисп (1)
- Маслова метод (1)
- Матхуранатха Таркавагиша (1)
- Милль, Джон Стюарт (1)
- Принятие решений - Математическая теория - Сборники (1)
- Рагхунатха Широмани (1)
- Тюменцева Г. К. личная библиотека (1)
- автоматизация управления (1)
- автоматизированные информационные системы (1)
- алгебра матриц (1)
- алгебраические системы (1)
- алгоритмы вывода нечеткие (1)
- алгоритмы поиска (1)
- алгоритмы построения матриц обратных (1)
- аналогии (1)
- английская философия (1)
- базы данных (1)
- базы знаний (1)
- биографические сведения (1)
- булевы алгебры (1)
- вывод решений (1)
- выводы (1)
- грамматики формальные (1)
- дедуктивные методы (1)
- действия (1)
- дискретная математика (1)
- Show more
- Show less
-
Collections