Local cover image
Hyperproof
Material type:
TextSeries: CSLI lecture notes ; 42Publication details: Stanford : [S.n.], c1994Description: xvii, 255 p. : il. ; 26 cmISBN: - 1881526119
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | J.2 BAR (Browse shelf(Opens below)) | Available | DIF-00330 |
Hyperproof es un programa para la enseñanza de los principios básicos del razonamiento analítico. Un programa para Macintosh derivado de Tarski's World
Click on an image to view it in the image viewer