Еще
Логотип LiveLibЛента

Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

К старой версии страницы
Владимир Смирнов - Логика и компьютер. Выпуск 2. Логические языки, содержательные рассуждения и методы поиска доказательств
User AvatarВаша оценка
0
(0)

Логика и компьютер. Выпуск 2. Логические языки, содержательные рассуждения и методы поиска доказательств

Владимир Смирнов
В сборнике показана роль искусственных, в частности логических, языков для представления и обработки фактов и знаний. Описаны методы поиска доказательств для других логических систем, включая модальные и временные. В отличие от формальных, содержательные рассуждения существенно опираются на базы знаний.

Издательство:

Наука

ISBN:

5-02-006896-9

Год издания:

1995

Мягкая обложка, 131 стр.

Формат: 60x88/16

Возрастные ограничения:

16+

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Подборки с этой книгой

Все подборки