Programming with Higher-Order Logic Hardback

3,33 valoración promedio
( 3 valoraciones por GoodReads )
 
9780521879408: 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.

Review:

'... 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 lambdaProlog.' Sara Kalvala, Computing Reviews

About the Author:

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.

Gopalan Nadathur is Professor of Computer Science at the University of Minnesota. He has previously held faculty appointments at Duke University, the University of Chicago and Loyola University Chicago. Nadathur's research interests span the areas of computational logic, programming languages and logic programming. His work has been regularly funded by the National Science Foundation and has appeared in publications such as the Journal of the Association of Computing Machinery, Information and Computation, Logic and Computation, the Journal of Automated Reasoning and Theory and Practice of Logic Programming.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Miller; Nadathur
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2012. Hardback. Estado de conservación: New. 231 x 152 mm. Language: English . Brand New Book. Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called lambdaProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and lambda-terms and pi-calculus expressions can be encoded in lambdaProlog. Nº de ref. de la librería AAA9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 70,40
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

2.

Miller; Nadathur
Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 10
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2012. Hardback. Estado de conservación: New. 231 x 152 mm. Language: English . Brand New Book. Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called lambdaProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and lambda-terms and pi-calculus expressions can be encoded in lambdaProlog. Nº de ref. de la librería AAA9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 71,34
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

3.

Miller; Nadathur
Editorial: Cambridge University Press (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Cantidad: > 20
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2012. HRD. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería IB-9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 66,52
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,23
De Reino Unido a España
Destinos, gastos y plazos de envío

4.

Miller; Nadathur
Editorial: Cambridge University Press (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Cantidad: > 20
Librería
PBShop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2012. HRD. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería IB-9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 67,49
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,94
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

5.

Miller; Nadathur
Editorial: Cambridge University Press (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 1
Librería
Buyback Express
(Alton, IL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 2012. Hardcover. Estado de conservación: New. BRAND NEW BOOK!! SHIPS WITHIN 24 HOURS! Tracking Provided. DHL processing & USPS delivery for an average of 3-5 Day Standard & 2-3 Day Expedited! FREE INSURANCE! Fast & Personal Support! Careful Packaging. No Hassle, Full Refund Return Policy!. Nº de ref. de la librería mon0000347214

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 67,89
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 12,20
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

6.

Miller; Nadathur
Editorial: Cambridge University Press 2012-06-11, Cambridge (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 10
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press 2012-06-11, Cambridge, 2012. hardback. Estado de conservación: New. Nº de ref. de la librería 9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 86,72
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,04
De Reino Unido a España
Destinos, gastos y plazos de envío

7.

Miller; Nadathur
Editorial: Cambridge University Press
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: > 20
Librería
Movie Mars
(Indian Trail, NC, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press. Hardcover. Estado de conservación: New. 052187940X Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!. Nº de ref. de la librería 16003400

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 81,38
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,82
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

8.

Miller; Nadathur
Editorial: Cambridge University Press
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: > 20
Librería
THE SAINT BOOKSTORE
(Southport, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press. Hardback. Estado de conservación: new. BRAND NEW, Programming with Higher-Order Logic, Dale Miller, Gopalan Nadathur, Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called lambdaProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and lambda-terms and pi-calculus expressions can be encoded in lambdaProlog. Nº de ref. de la librería B9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 88,49
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,02
De Reino Unido a España
Destinos, gastos y plazos de envío

9.

Miller; Nadathur
Editorial: Cambridge Univ Pr (2012)
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Tapa dura Cantidad: 2
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Cambridge Univ Pr, 2012. Hardcover. Estado de conservación: Brand New. 1st edition. 320 pages. 9.10x6.00x0.90 inches. In Stock. Nº de ref. de la librería x-052187940X

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 81,91
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,30
De Reino Unido a España
Destinos, gastos y plazos de envío

10.

Miller; Nadathur
Editorial: Cambridge University Press
ISBN 10: 052187940X ISBN 13: 9780521879408
Nuevos Paperback Cantidad: 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press. Paperback. Estado de conservación: New. Paperback. 66 pages. Dimensions: 9.4in. x 7.1in. x 0.2in.These highly illustrated books combine fact with anecdotes to capture pupils imaginations and help them appreciate music across the centuries. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Nº de ref. de la librería 9780521879408

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 87,06
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 12,19
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda