by J. M. Lorente Tallada · ISBN 9788485630479
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
«Prueba automática de teoremas» is the monograph by J. M. Lorente Tallada, published in 1982, with 127 pages, in Spanish.
The book studies automatic theorem proving and describes the theoretical foundations and practical aspects of automating deductive reasoning, with attention to the methods and techniques used in this field.
A work of interest for students and professionals in computer science and mathematics who want to learn about computational logic applied to automatic theorem proving.
