

Constraints in Computational Logics: Theory and Applications -
- Format: Broché
- 328 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre30,77 €
Produit Neuf
Ou 7,69 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Nos autres offres
-
50,00 €
Occasion · Très Bon État
Ou 12,50 € /mois
2,50 € offerts- Livraison : 8,69 €
- Protection acheteurs :
- 0,00 €
4,9/5 sur + de 1 000 ventesEnvoi rapide et protégé.
- 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 Constraints In Computational Logics: Theory And Applications Format Broché - Livre Informatique
0 avis sur Constraints In Computational Logics: Theory And Applications Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Real Analysis
Neuf dès 37,79 €
Occasion dès 158,30 €
-
Le Livre D'hénoch: Le Manuscrit Apocryphe Interdit De La Bible - Anges Déchus, Géants Nephilim Et Les Secrets D'enoch Illustré (French Edition)
Occasion dès 31,99 €
-
Understanding Understanding
Neuf dès 30,77 €
Occasion dès 278,99 €
-
Everyday Crochet
Occasion dès 39,98 €
-
Douglas Dc-6/7
Occasion dès 43,07 €
-
You Better Be Lightning
Occasion dès 33,57 €
-
The Main
Neuf dès 22,04 €
Occasion dès 34,99 €
-
Paul Strand (Aperture Masters Of Photography Series)
Occasion dès 37,99 €
-
Volllust | 22 Erotische Geschichten
Neuf dès 18,97 €
Occasion dès 47,99 €
-
Ne Te Fais Pas De Chagrin !
Occasion dès 44,45 €
-
Heretics Of Dune
Occasion dès 28,99 €
-
Spanish Classics For Guitar In Tablature
Neuf dès 19,43 €
Occasion dès 59,99 €
-
Poverty And Famines - An Essay On Entitlement And Deprivation
Occasion dès 38,99 €
-
Nightmares In The Sky: Gargoyles And Grotesques
Occasion dès 25,00 €
-
Saturnine
2 avis
Neuf dès 15,64 €
Occasion dès 34,99 €
-
No Dig Organic Home & Garden
Neuf dès 36,31 €
Occasion dès 44,74 €
-
Babars French Lessons (Babar Books)
Occasion dès 24,69 €
-
Eerie Archives Volume 1
Neuf dès 35,42 €
Occasion dès 39,87 €
-
The Trigger Point Therapy Workbook: Your Self -Treatment Guide For Pain Relief: Your Self-Treatment For Pain Relief
Occasion dès 33,99 €
-
Complete Japanese Joinery : A Handbook Of Japanese Tool Use And Woodworking For Joiners And Carpenters
Neuf dès 27,67 €
Occasion dès 316,99 €
Produits similaires
Présentation Constraints In Computational Logics: Theory And Applications Format Broché
- Livre InformatiqueEditeur : Springer-Verlag GmbhLangue : AnglaisParution : 01/04/2001Format : Moyen, de 350g à 1kgNombre de pages : 328Expédition : 499Dimensions : 23.5 x 15.5 x 1.8 Résumé...
Résumé :
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects. This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.
Sommaire:
Constraints and Constraint Solving: An Introduction.- Constraint Solving on Terms.- Combining Constraint Solving.- Constraints and Theorem Proving.- Functional and Constraint Logic Programming.- Building Industrial Applications with Constraint Programming.
Détails de conformité du produit
Personne responsable dans l'UE