Foundations of Automatic Theorem Proving, Second Edition van Jean Gallier is een gerenommeerd studieboek dat diepgaand ingaat op automatische theorem proving binnen de informatica. Deze uitgave biedt een theoretische basis en praktische inzichten voor het begrijpen van algoritmen en methoden voor automatische bewijsvoering.
Het boek is geschikt voor studenten en professionals binnen computer science die hun kennis van logic en automatische theorem technieken willen verdiepen.
Productinformatie
- Auteur: Jean Gallier
- Serie: Dover Books on Computer Science
- Uitgever: Dover Publications Inc.
- Verschijningsdatum: 2015-06-26
- Aantal pagina's: 544
- ISBN: 9780486780825
- Thema: Mathematical logic
- BISAC: MATHEMATICS / Logic