Research Catalog

Isabelle/HOL : a proof assistant for higher-order logic

Title
Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow ... [and others].
Publication
Berlin ; New York : Springer, 2002.

Available Online

Restricted to Springer LINK subscribers

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextRequest in advance QA76.9.L63 I83 2002Off-site

Details

Additional Authors
Nipkow, Tobias, 1958-
Description
xiii, 218 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 2283
Uniform Title
Lecture notes in computer science ; 2283.
Subject
  • Computer logic
  • Automatic theorem proving
Bibliography (note)
  • Includes bibliographical references and index.
Additional Formats (note)
  • Also available via the World Wide Web.
ISBN
3540433767 (softcover : alk. paper)
LCCN
2002020906
OCLC
  • ocm49320458
  • SCSB-4267068
Owning Institutions
Columbia University Libraries