この文献を取り寄せる

このページのリンク

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 116 60215660
1881526119

書誌詳細を非表示

巻次 : 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

 類似資料