Programming with Higher-Order Logic et plus d'un million d'autres livres sont disponibles pour le Kindle d'Amazon. En savoir plus
EUR 48,02
  • Tous les prix incluent la TVA.
Il ne reste plus que 2 exemplaire(s) en stock (d'autres exemplaires sont en cours d'acheminement).
Expédié et vendu par Amazon.
Emballage cadeau disponible.
Quantité :1
Programming with Higher-O... a été ajouté à votre Panier
Vous l'avez déjà ?
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir cette image

Programming with Higher-Order Logic (Anglais) Relié – 11 juin 2012

Voir les 2 formats et éditions Masquer les autres formats et éditions
Prix Amazon Neuf à partir de Occasion à partir de
Format Kindle
"Veuillez réessayer"
"Veuillez réessayer"
EUR 48,02
EUR 46,06 EUR 37,04

Offres spéciales et liens associés

Descriptions du produit

Revue de presse

'… 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

Biographie de l'auteur

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.

Détails sur le produit

En savoir plus sur l'auteur

Découvrez des livres, informez-vous sur les écrivains, lisez des blogs d'auteurs et bien plus encore.

Dans ce livre (En savoir plus)
Parcourir les pages échantillon
Couverture | Copyright | Table des matières | Extrait | Index
Rechercher dans ce livre:

Commentaires en ligne

Il n'y a pas encore de commentaires clients sur
5 étoiles
4 étoiles
3 étoiles
2 étoiles
1 étoiles

Commentaires client les plus utiles sur (beta) 1 commentaire
Great for students and researchers 11 décembre 2014
Par Andrew J Gacek - Publié sur
Format: Format Kindle
This book presents the theory and practice of the Lambda Prolog
language. Practically speaking, Lambda Prolog allows one to concisely
specify the rules of a logic or language and then animate those rules
and experiment with the resulting system. The power of Lambda Prolog
comes from using higher-order terms and higher-order rules, thus
avoiding the overhead of issues like name binding and scoping which
typically plague implementations.

This book builds up the ideas behind Lambda Prolog progressively
starting with traditional Prolog (presented as a logic) and then
adding in more powerful features. By the end, readers are able to
implement a proof system, a programming language, and a process
calculus each with a surprisingly short number of rules. Because the
representation is so compact and expressive, it is very easy to
experiment with modifying and extending the system.

My PhD thesis was in this area of work (in fact, Gopalan Nadathur was
my advisor). Although this book came after my time in graduate school,
I still learned a great deal from it. Being able to take a formal
system from a textbook or paper and quickly implement it provides an
immense opportunity for understanding system details. For that reason
I would recommend this book not only to students, but also to
researchers and practitioners in the logic and languages communities.
Ce commentaire a-t-il été utile ? Dites-le-nous

Rechercher des articles similaires par rubrique


Souhaitez-vous compléter ou améliorer les informations sur ce produit ? Ou faire modifier les images?