Натуральный вывод. Теоретико-доказательственное исследование
Автор: Д. Правиц
Издательство:
Год издания: 1997
Страниц:
ISBN: 5855820262
Аннотация:
Настоящая монография посвящена анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.Книга не имеет аналогов области формализации логических доказательств. Издание содержит Библиограф
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Натуральный вывод. Теоретико-доказательственное исследование" (Д. Правиц) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |