Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Електронний каталог ЖОУНБ ім. О. Ольжича

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=исчисление высказываний<.>

Загальна кількість знайдених документів : 5
Показані документи с 1 за 5

Поспелов Д. А. Моделирование рассуждений. Опыт анализа мыслительных актов/Д. А. Поспелов. - 1989

Рот М. Интеллектуальный автомат: компьютер в качестве эксперта/М. Рот ; пер. с нем. А. П. Свиридова. - 1991

Рабинович А. Н. Как машина стала автоматом/А. Н. Рабинович. - 1976

Новиков П. С. Элементы математической логики/П. С. Новиков. - 1973

Ершов Ю. Л. Математическая логика/Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 1987

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)