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)
データ種別 | 図書 |
---|---|
著者標目 | *Barwise, Jon Etchemendy, John, 1952- |
出版者 | Stanford, Calif. : CSLI Publications |
出版年 | c1994 |
書誌詳細を非表示
巻次 | : pbk ; ISBN:1881526119 |
---|---|
大きさ | xvii, 255 p. : ill. ; 26 cm + 1 floppy disk (3 1/2 in.) |
本文言語 | 英語 |
件 名 | LCSH:Computer science LCSH:Logic, Symbolic and mathematical LCSH:Hyperproof LCSH:Macintosh (Computer) |
分 類 | LCC:QA76 DC20:160/.285/5369 |
書誌ID | 1000094249 |
ISBN | 1881526119 |
NCID | BA23770361 |