Bücher von Domenico Cantone

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AEtnaNova system, a program built to verify the correctness of mathematical proofs.

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.