Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
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