Recomienda este artículo a tus amigos:
The Resolution Calculus - Texts in Theoretical Computer Science. An EATCS Series Alexander Leitsch Softcover reprint of the original 1st ed. 1997 edition
The Resolution Calculus - Texts in Theoretical Computer Science. An EATCS Series
Alexander Leitsch
The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. It was the purpose of the course mentioned above to present such new developments of resolution theory.
316 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 28 de septiembre de 2011 |
| ISBN13 | 9783642644733 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 300 |
| Dimensiones | 155 × 235 × 16 mm · 444 g |
| Lengua | Inglés |