L'automazione del ragionamento matematico

Questo libro descrive programmi per computer che "fanno" matematica, nel senso che dimostrano teoremi, elaborano modelli matematici o scoprono nuovi concetti matematici. Il testo, che non presuppone nel lettore una conoscenza specifica molto approfondita, si apre con un esame della logica matematica, che mostra come questa possa essere utilizzata per rappresentare in un computer la conoscenza matematica e per automatizzare i processi deduttivi. L'ultima parte riporta una serie di programmi scritti in PROLOG relativi alla dimostrazione automatica dei teoremi.