a generic theorem prover
by Search PDF, EPUB, TXT

About this edition:
Published by sqcludes bibliographical refernces (p. 301-304) and index. in Berlin, New York. Notes about edition: sqcludes bibliographical refernces (p. [301]-304) and index.

ID Numbers
ISBN 10: 3540582444

This book contains 321 pages, written in English. "Isabelle" is a part of Lecture notes in computer science ;, 828 series.

The book describes such subjects as:

Isabelle (Computer File), Automatic Theorem Proving

The book is related to: , , , , ,