Title Statements
- Full title :Hyperproof / Jon Barwise and John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush, Douglas Felt, Adrian Klein ... [et al.].
Edition Statements
- Publication Date:1994.
Publication Statements
- Publisher(s):Center for the study of language and information
- Place of Publication:Stanford (Calif.)
- Language:eng
- Publication Date:1994.
Notes
Includes index.
The Physical Object
- Description:XVII-255 p. : : couv. ill. en coul. ; : 26 cm +
Edition Identifiers
- ISBN:1881526119, 9781881526117
- oclc:ocn489618366
- Dewey Decimal:510
Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Informatique-programmation
0.0
Type: Book
Principles of Distributed Systems: 7th International Conference, OPODIS 20…
Papatriantafilou, Marina
0.0
Type: Book
Principles of Distributed Systems: 7th International Conference, OPODIS 20…
OPODIS (Conference), Martinique)
0.0
Type: Book
Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applicat…
Bobda, Christophe
0.0
Type: Book
Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applicat…
Bobda, Christophe
0.0
Type: Book
Rate & Review