There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-28372-0

ISBN (Electronic): 978-3-540-31820-0

Publication date (Print): 2005

DOI: 10.1007/11541868

SO-VID: e4e493db-c1bc-4c93-bedc-b57fc05294f8

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle
Authors: Lawrence Paulson
Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)
Authors: Carl Kwan, Mark R. Greenstreet
Formal verification of a proof procedure for the description logic ALC
Authors: Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker

See all cited by

Theorem Proving in Higher Order Logics

Read this book at