libcats.org
Главная

Handbook of Practical Logic and Automated Reasoning

Обложка книги Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

I've only just received this book, but after a few hours I can say that if you want to implement ATP (automated theorem proving) code this book is an excellent choice. It has complete implementations of absolutely everything in OCaml (a dialect of ML, a mostly functional programming language) which is an excellent choice for this type of application. Almost as good as Haskell (I kid.) Chang and Lee is a great book, but forty years have passed...
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Canonical Gravity: From Classical to Quantum

Автор: , Автор:
Категория: Physics, Lecture notes
Размер книги: 2.04 Mb

Экономический анализ. Учебник

Автор:
Категория: info, manual, money
Размер книги: 6.12 Mb

Мышление и речь

Автор:
Размер книги: 2.28 Mb

Investigative Immunotoxicology

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: science_books, medicine
Размер книги: 4.21 Mb

Fundamentals of Neurology: An Illustrated Guide

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 17.30 Mb

The Children of Perun

Автор:
Категория: fiction
Размер книги: 33 Kb