Return to home page
Searching: Muskingum library catalog
While many OPAL libraries have resumed lending and borrowing, some continue to operate at reduced service levels or limit in-person use to their campus community. Note that pickup services and procedures may differ between libraries. Please contact your library regarding open hours, pickup procedures, specific requests, or other assistance.
Record 5 of 7
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Author Nipkow, Tobias, 1958-
Title Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
Imprint Berlin ; New York : Springer, [2002]
©2002

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Author Nipkow, Tobias, 1958-
Series Lecture notes in computer science ; 2283
Lecture notes in computer science ; 2283.
Subject Computer logic.
Automatic theorem proving.
Alt Name Paulson, Lawrence C.
Wenzel, Markus.
Description xiii, 218 pages : illustrations ; 24 cm.
Bibliography Note Includes bibliographical references (p. [209]-211) and index.
Access Available to OhioLINK libraries.
Reproduction Electronic reproduction. Columbus, OH : OhioLINK, 2008.
System Details Mode of access: World Wide Web.
ISBN 3540433767 (softcover : alk. paper)
9783540433767 (softcover : alk. paper)
OCLC # 648153849
Link OhioLINK electronic book center (OCoLC)180989150
SpringerLink (OCoLC)43927870
Additional Format Nipkow, Tobias, 1958- (OCoLC)49320458


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team