Foto de archivo: la portada puede ser diferente
Detalles
- Título Graph-Based Proof Procedures for Horn Clauses
- Autor Raatz
- Encuadernación Tapa blanda
- Edición First
- Páginas 150
- Volúmenes 1
- Idioma ENG
- Editorial Birkhauser
- Fecha de publicación 1990-12-01
- Ilustrado Sí
- ISBN 9780817635305 / 0817635300
- Peso 0.51 libras (0.23 kg)
- Dimensiones 9.21 x 6.14 x 0.34 pulgadas (23.39 x 15.60 x 0.86 cm)
- Número de catálogo de la Librería del Congreso de EEUU 90227328
- Dewey Decimal Code 005.1
Más ejemplares
Foto de archivo: la portada puede ser diferente
Graph-Based Proof Procedures for Horn Clauses
de RAATZ
- Usado
- very good
- Tapa blanda
- Estado
- Usado - Very Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 1
- Librería
-
Morangis, France
- Precio
-
EUR 35.37EUR 11.29 enviando a USA
Mostrar detalles
Descripción:
Birkhauser Boston Inc, 1990. Paperback. Very Good. Former library book. Slight signs of wear on the cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.
Precio
EUR 35.37
EUR 11.29
enviando a USA
Foto de archivo: la portada puede ser diferente
GRAPH-BASED PROOF PROCEDURES FOR HORN CLAUSES
de RAATZ
- Usado
- very good
- Estado
- Usado - Very Good
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 1
- Librería
-
Indianapolis, Indiana, United States
- Precio
-
EUR 41.39EUR 11.90 enviando a USA
Mostrar detalles
Descripción:
Very Good.
Precio
EUR 41.39
EUR 11.90
enviando a USA
Foto de archivo: la portada puede ser diferente
Graph-Based Proof Procedures for Horn Clauses
de RAATZ
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 303
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 60.96EUR 9.43 enviando a USA
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Graph-Based Proof Procedures for Horn Clauses.
Precio
EUR 60.96
EUR 9.43
enviando a USA
Foto de archivo: la portada puede ser diferente
Graph-Based Proof Procedures for Horn Clauses
de Raatz, Stan
- Nuevo
- Tapa dura
- Estado
- New
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 2
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 66.81EUR 11.80 enviando a USA
Mostrar detalles
Descripción:
Birkhauser, 1991. Hardcover. New. 158 pages. 9.25x6.25x0.75 inches.
Precio
EUR 66.81
EUR 11.80
enviando a USA
Foto de archivo: la portada puede ser diferente
Graph-Based Proof Procedures for Horn Clauses
de RAATZ
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 69.89EUR 11.74 enviando a USA
Mostrar detalles
Descripción:
Paperback / softback. New. A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.
Precio
EUR 69.89
EUR 11.74
enviando a USA
Foto de archivo: la portada puede ser diferente
Graph-based Proof Procedures For Horn Clauses
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 1
- Librería
-
New Delhi, India
- Precio
-
EUR 61.62EUR 4.70 enviando a USA
Mostrar detalles
Descripción:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Precio
EUR 61.62
EUR 4.70
enviando a USA
Foto de archivo: la portada puede ser diferente
Graph-Based Proof Procedures for Horn Clauses
de RAATZ Stan Raatz
- Usado
- Estado
- Used
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 1
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 63.38EUR 3.75 enviando a USA
Mostrar detalles
Descripción:
Springer , pp. 160 . Papeback. Used.
Precio
EUR 63.38
EUR 3.75
enviando a USA
Foto de archivo: la portada puede ser diferente
GRAPH-BASED PROOF PROCEDURES FOR HORN CLAUSES
de RAATZ, S.,
- Nuevo
- Estado
- New
- Edición
- N/A
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 5
- Librería
-
New Delhi, India
- Precio
-
EUR 64.90EUR 9.41 enviando a USA
Mostrar detalles
Descripción:
Birk, 1990. N/A. Unknown Binding. New/New.
Precio
EUR 64.90
EUR 9.41
enviando a USA
Foto de archivo: la portada puede ser diferente
Graph-Based Proof Procedures for Horn Clauses
de RAATZ
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 5
- Librería
-
campbelltown, Florida, United States
- Precio
-
EUR 67.72EUR 14.11 enviando a USA
Mostrar detalles
Descripción:
Birkhäuser. Paperback. New. 9x6x0.
Precio
EUR 67.72
EUR 14.11
enviando a USA
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic).
de Stan Raatz.
- Nuevo
- Tapa dura
- Estado
- New
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780817635305 / 0817635300
- Cantidad disponible
- 1
- Librería
-
Somerville, Massachusetts, United States
- Precio
-
EUR 187.18EUR 5.64 enviando a USA
Mostrar detalles
Descripción:
Graph-Based Proof Procedures for Horn Clauses (Progress in Computer Science and Applied Logic). By Stan Raatz. 1990 by Birkhäuser. Hardcover, 148 pages.
Precio
EUR 187.18
EUR 5.64
enviando a USA