Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow. (Lecture notes in computer science)

Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow.

(Lecture notes in computer science)

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 3540582444
0387582444
Title: Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow.
Series Title: Lecture notes in computer science
Author Heading: Paulson, Lawrence C.
Publication, Distribution, etc.: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date: c1994.
Publication Date (W3CDTF): 1994
Extent: xvii, 321 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Isabelle (Computer file)
プログラミング (電子計算機) Puroguramingu (densikeisanki)
記号論理学. Kigoronrigaku.
Automatic theorem proving.
LCC: QA76.9.A96
DDC: 511.3/0285/53
NDLC: M159
Note (Bibliography): Includes bibliographical refernces (p. [301]-304) and index.
Holding library: 国立国会図書館
Call No.: M159-A158
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003232727
http://id.ndl.go.jp/bib/000003232727
LC Control Number: 94003445
https://lccn.loc.gov/94003445
Bibliographic Record Category (NDL): 211