Ebook: Automated Theorem Proving. A Logical Basis
Author: D. W. Loveland (Auth.)
- Series: Fundamental studies in computer science
- Year: 1978
- Publisher: Elsevier B.V
- Edition: First Edition
- Language: English
- pdf
Download the book Automated Theorem Proving. A Logical Basis for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)