|
|
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
Только что пользователи скачали эти книги:
Как это все начиналось (Записка 6)Автор: Баевский ТовийКатегория: Путешествия и география
Размер книги: 15 Kb
Практический курс французского языка для технических вузовАвтор: А. В. КоржавинКатегория: ГУМАНИТАРНЫЕ НАУКИ, НАУКА и УЧЕБА
Размер книги: 2.23 Mb
Mirror Worlds: or the Day Software Puts the Universe in a Shoebox...How It Will Happen and What It Will MeanАвтор: David GelernterКатегория: Компьютеры, Программирование
Размер книги: 12.68 Mb
Computational Medicinal Chemistry for Drug DiscoveryАвтор: Patrick Bultinck (Editor), Автор: Hans De Winter (Editor), Автор: Wilfried Langenaeker (Editor), Автор: Jan Tollenare (Editor)Категория: Химия
Размер книги: 18.67 Mb
Fantasy Freaks and Gaming Geeks: An Epic Quest for Reality Among Role Players, Online Gamers, and Other Dwellers of Imaginary RealmsАвтор: Ethan Gilsdorf
Размер книги: 1.73 Mb
Macht der GefühleАвтор: Torsten Dewi, Автор: Hillefeld MarcКатегория: fiction
Размер книги: 1.29 Mb
Hurra po polsku 3 podręcznik studentaАвтор: Agnieszka Burkat, Автор: Agnieszka Jasifiska, Автор: Matgorzata Matolepsza, Автор: Aneta SzymkiewiczКатегория: Foreign Language
Размер книги: 159.71 Mb
|
|
|