EUR 46,19 + EUR 0,01 Livraison
Une version moins chère de ce livre est disponible
Economisez EUR 13,96 (30%) avec la version Kindle de cet ouvrage.
EUR 32,23
Prix Kindle
EUR 46,19
Prix du livre papier

Economisez <span class="a-color-price">EUR 13,96 (30%)</span> avec la version Kindle de cet ouvrage. Lisez dès maintenant avec l'appli Kindle gratuite.
Disponible sur iOS, Android, Mac & PC.
  • Tous les prix incluent la TVA.
Habituellement expédié sous 2 à 3 jours.
Expédié et vendu par BOOKS etc..
EUR 46,19 + EUR 0,01 Livraison
Autres vendeurs sur Amazon
Ajouter au panier
EUR 46,17
+ EUR 0,01 (livraison)
Vendu par : Book Depository FR
Ajouter au panier
EUR 50,79
Livraison à EUR 0,01 sur les livres et gratuite dès EUR 25 d'achats sur tout autre article Détails
Vendu par : Amazon
Vous l'avez déjà ? Vendez sur Amazon
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 les 2 images

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


Voir les 4 formats et éditions Masquer les autres formats et éditions
Prix Amazon
Neuf à partir de Occasion à partir de
Format Kindle
Relié
EUR 46,19
EUR 46,17 EUR 42,27
click to open popover

Offres spéciales et liens associés


Description 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

Présentation de l'éditeur

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.

Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.

  • Apple
  • Android
  • Windows Phone
  • Android

Pour obtenir l'appli gratuite, saisissez votre numéro de téléphone mobile.



Détails sur le produit


Commentaires client

Il n'y a pour l'instant aucun commentaire client.
Partagez votre opinion avec les autres clients

Commentaires client les plus utiles sur Amazon.com

Amazon.com: 5,0 sur 5 étoiles 1 commentaires
Andrew J Gacek
5,0 sur 5 étoilesGreat for students and researchers
11 décembre 2014 - Publié sur Amazon.com
7 personnes ont trouvé cela utile.

Où en sont vos commandes ?

Livraison et retours

Besoin d'aide ?