このページのリンク

Hyperproof / Jon Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.]
(CSLI lecture notes ; no. 42)

データ種別 図書
出版者 Stanford, Calif. : CSLI Publications
出版年 c1994
本文言語 英語
大きさ xvii, 255 p. : ill. ; 26 cm + 1 floppy disk (3 1/2 in.)
目次/あらすじ

所蔵情報を非表示


ASRS 116/B255h 04772981
1881526119

書誌詳細を非表示

著者標目 *Barwise, Jon
Etchemendy, John, 1952-
件 名 LCSH:Computer science
LCSH:Logic, Symbolic and mathematical
LCSH:Hyperproof
LCSH:Macintosh (Computer)
Logic, Symbolic and mathematical
分 類 LCC:QA76
DC20:160/.285/5369
書誌ID 1000200306
ISBN 1881526119
NCID BA23770361 WCLINK

 類似資料