Programming with Higher-Order Logic - Miller, Dale
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Programming With Higher - Order Logic Format Relié - Livre Informatique
0 avis sur Programming With Higher - Order Logic Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Final Fantasy X 25th Anniversary Visual Art Book -Eternal Spira-
Neuf dès 41,99 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Manuel D'arabe En Ligne Apprentissage En Autonomie
Occasion dès 45,87 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 52,06 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
History For The Ib Diploma Paper 3 The Soviet Union And Post-Soviet Russia (1924-2000) Coursebook With Digital Access (2 Years)
Neuf dès 44,39 €
-
The Mirabelle Cookbook
Occasion dès 98,08 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
The Hobbit And The Lord Of The Rings
Occasion dès 43,02 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Literature In English - Anthologie Des Littératures Anglophones
1 avis
Neuf dès 39,90 €
-
Spring Boot 3 Und Spring Framework 6
Neuf dès 280,99 €
Occasion dès 39,92 €
-
Initiation Aux Lettres Latines - Livre N° 2 - Classe De Troisième 3e - Programme De 1971
Occasion dès 49,97 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Twilight
1 avis
Occasion dès 47,02 €
-
2001 Entre Kubrick Et Clarke: Genèse, Conception Et Paternité Dun Chef Duvre
Neuf dès 38,68 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 73,00 €
Produits similaires
Présentation Programming With Higher - Order Logic Format Relié
- Livre Informatique
Résumé :
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
Biographie:
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.
Sommaire:
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 ?Prolog 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 ?-terms and ?-calculus expressions can be encoded in ?Prolog....
Détails de conformité du produit
Personne responsable dans l'UE