|
|
libcats.org
Isabelle: A Generic Theorem ProverLawrence C. Paulson, T. NipkowAs a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle's built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Physics of the Solar Corona: An Introduction with Problems and SolutionsАвтор: Markus Aschwanden
Размер книги: 29.60 Mb
The Cambridge companion to Kant and modern philosophyАвтор: Paul GuyerКатегория: Academic books, Theology, philosophy and the history of ideas, Cambridge Series, The Cambridge Companions
Размер книги: 2.75 Mb
Защита зеленых насаждений в rородах: СправочникАвтор: Г. С. Груздев, Автор: Л. А. Дорожкина, Автор: С. А. Петриченко
Размер книги: 14.63 Mb
Future Visions on Biomedicine and Bioinformatics 1Автор: Lodewijk Bos, Автор: Denis Carroll, Автор: Luis Kun, Автор: Andrew Marsh, Автор: Laura M. Roa
Размер книги: 2.81 Mb
|
|
|