di J. M. Lorente Tallada · ISBN 9788485630479
IVA inclusa
Garanzia qualità Hamelyn · controllato e verificato, o ti rimborsiamo
«Prueba automática de teoremas» è la monografia di J. M. Lorente Tallada, pubblicata nel 1982, con 127 pagine, in spagnolo.
Il libro studia la dimostrazione automatica di teoremi e descrive i fondamenti teorici e gli aspetti pratici dell'automazione del ragionamento deduttivo, con attenzione ai metodi e alle tecniche impiegati in questo campo.
Opera di interesse per studenti e professionisti di informatica e matematica che vogliano conoscere la logica computazionale applicata alla dimostrazione automatica.
