Artículos relacionados a Programming with Higher-Order Logic Hardback
Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provides an elegant approach to performing computations over structures embodying binding.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas:
'... I am impressed with the depth of the discussion and the clearly well-produced book. The authors have argued successfully for the power and versatility of the fundamental ideas underlying λProlog.' Sara Kalvala, Computing Reviews
Biografía del autor:
Dale Miller is currently Director of Research at INRIA-Saclay where he is the Scientific Leader of the Parsifal team. He has been a professor at the University of Pennsylvania, Pennsylvania State University and the École Polytechnique, France. Miller is the Editor-in-Chief of the ACM Transactions on Computational Logic and has editorial duties on several other journals. He was awarded an ERC Advanced Investigators Grant in 2011 and is the recipient of the 2011 Test-of-Time award of the IEEE Symposium on Logic in Computer Science. He works on many topics in the general area of computational logic, including automated reasoning, logic programming, proof theory, unification theory, operational semantics and, most recently, proof certificates.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación2012
- ISBN 10 052187940X
- ISBN 13 9780521879408
- EncuadernaciónTapa dura
- Número de páginas320
Comprar nuevo
Ver este artículo
EUR 54,12
Gastos de envío:
EUR 2,47
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Programming With Higher-Order Logic
Publicado por
Cambridge University Press
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 15994847-n
Comprar nuevo
EUR 54,12
Convertir moneda
Imagen de archivo
PROGRAMMING WITH HIGHER-ORDER LOGIC
Publicado por
Cambridge University Press
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Nº de ref. del artículo: ABTR-24959
Comprar nuevo
EUR 56,67
Convertir moneda
Imagen de archivo
PROGRAMMING WITH HIGHER-ORDER LOGIC
Publicado por
Cambridge University Press
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Nº de ref. del artículo: ABRR-24959
Comprar nuevo
EUR 58,63
Convertir moneda
Imagen del vendedor
Programming with Higher-Order Logic (Hardback or Cased Book)
Publicado por
Cambridge University Press 6/11/2012
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: 5
Librería:
Valoración
Descripción Hardback or Cased Book. Condición: New. Programming with Higher-Order Logic 1.2. Book. Nº de ref. del artículo: BBS-9780521879408
Comprar nuevo
EUR 60,42
Convertir moneda
Imagen de archivo
Programming with Higher-Order Logic
Publicado por
Cambridge University Press
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: 18
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190019961
Comprar nuevo
EUR 56,83
Convertir moneda
Imagen de archivo
Programming with Higher-Order Logic
Publicado por
Cambridge University Press
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 8775d538640b3a3f2d373193fb982bc8
Comprar nuevo
EUR 51,11
Convertir moneda
Imagen de archivo
Programming with Higher-Order Logic
Publicado por
Cambridge University Press
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9780521879408_lsuk
Comprar nuevo
EUR 51,57
Convertir moneda
Gastos de envío:
EUR 11,61
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Programming with Higher-Order Logic by Miller, Dale, Nadathur, Gopalan [Hardcover ]
Publicado por
Cambridge University Press
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. This item is printed on demand. Nº de ref. del artículo: 9780521879408
Comprar nuevo
EUR 66,18
Convertir moneda
Imagen de archivo
Programming With Higher-Order Logic
Publicado por
Cambridge Univ Pr
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: Brand New. 1st edition. 320 pages. 9.10x6.00x0.90 inches. In Stock. Nº de ref. del artículo: __052187940X
Comprar nuevo
EUR 55,62
Convertir moneda
Gastos de envío:
EUR 11,64
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Programming with Higher-Order Logic
Publicado por
Cambridge University Press
(2012)
ISBN 10: 052187940X
ISBN 13: 9780521879408
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Book is in NEW condition. Nº de ref. del artículo: 052187940X-2-1
Comprar nuevo
EUR 68,35
Convertir moneda