Descripción:
Princeton: Rinton Press, 2001. Hardcover. ex library-good. xv, 536 p. 27 cm. Ex library with labels on spine and front, ink stamps on top edge and title. Dents in spine. Front states CD ROM included but this has been inked out; CD ROM not included. Foreword by Larry Wos. Bibliography and index.
Foto de archivo: la portada puede ser diferente
Automated Reasoning with Otter [With CD-ROM] Tapa dura - 2001
de John Arnold Kalman; Foreword by Larry Wos
Detalles
- Título Automated Reasoning with Otter [With CD-ROM]
- Autor John Arnold Kalman; Foreword by Larry Wos
- Encuadernación Tapa dura
- Páginas 536
- Volúmenes 1
- Idioma ENG
- Editorial Rinton Press
- Fecha de publicación 2001-01
- ISBN 9781589490048 / 1589490045
- Número de catálogo de la Librería del Congreso de EEUU 2002277409
- Dewey Decimal Code 006.333
Más ejemplares
Automated Reasoning With OTTER
de KALMAN, John Arnold
- Usado
- Tapa dura
- Estado
- Usado - ex library-good
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9781589490048 / 1589490045
- Cantidad disponible
- 1
- Librería
-
London, Ontario, Canada
- Precio
-
EUR 94.48EUR 7.79 enviando a USA
Mostrar detalles
Precio
EUR 94.48
EUR 7.79
enviando a USA