door J. M. Lorente Tallada · ISBN 9788485630479
Inclusief btw
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Prueba automática de teoremas» is de monografie van J. M. Lorente Tallada, gepubliceerd in 1982, met 127 pagina's, in het Spaans.
Het boek bestudeert het automatisch bewijzen van stellingen en beschrijft de theoretische grondslagen en de praktische aspecten van de automatisering van het deductief redeneren, met aandacht voor de methoden en technieken die op dit gebied worden gebruikt.
Een werk van belang voor studenten en professionals in de informatica en wiskunde die de computationele logica willen leren kennen die wordt toegepast bij het automatisch bewijzen.
