As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 395
Weight: 1260 g
Dimensions: 233 x 155 x 21 mm
Edition: 1994 ed.
You may also be interested in...
Please sign in to write a review