Book of Donmon Teith

The contributors are among the world's leading researchers inautomated reasoning. Their essays cover the theory, software system design, and use of these system

This second edition explains what automated reasoning is and what it can do, and then demonstrates how to use it to solve complex problems with applications in

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles

This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques