The Online Books Page

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Title:Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Author:
Author:
Author:
Note:2018
  
Link:
Stable link here:https://onlinebooks.library.upenn.edu/webbin/book/lookupid?key=olbp78540
  
Subject:Isabelle (Computer file)
Subject:Computer logic
Subject:Automatic theorem proving
Call number:QA76.9 .L63 N53 2002
Other copies:Look for editions of this book at your library, or elsewhere.

Help with reading books -- Report a bad link -- Suggest a new listing

Home -- Search -- New Listings -- Authors -- Titles -- Subjects -- Serials

Books -- News -- Features -- Archives -- The Inside Story

Edited by John Mark Ockerbloom (onlinebooks@pobox.upenn.edu)
Data for this curated collection listing is CC0. See OBP copyright and licenses.