9780444898807 - higher order logic theorem proving and its applications: proceedings of the ifip/wg10.2 international workshop, leuven, belgium, 21-24 september 1992: ... a: computer science and technology) (2 resultados)
Más imágenes- Tapa blanda
Librería: Salish Sea Books, Bellingham, WA, Estados Unidos de AmericaSalish Sea Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 120,41
Envío por EUR 4,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Like New. Fine/As New; Softcover; This book is brand new and still sealed in the publisher's original shrinkwrap; Corners are slightly "bumped" through the plastic; This book will be stored and delivered in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); Green covers with title in white le…ttering; 1993, North Holland Publishing; 588 pages; "Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)," by L.J.M. Claesen & M.J.C. Gordon.
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P
Claesen, L. J. M. (Editor) / Gordon, M. J. C. (Series Editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 245,52
Envío por EUR 14,63Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 568 pages. 9.25x6.00x1.00 inches. In Stock.
