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...
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: