Montant total (1 article articles) :
Destination de la commande :
practice prolog (19 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (19)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (10)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (6)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (8)
- Sans impressions à la demande (16)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Programming Languages: Paradigm and Practice: Prolog Minimanual
Edité par McGraw Hill Higher Education, 1996
Vendeur : Bookmans, Tucson, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,82
Expédition à EUR 3,43
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Good. Satisfaction 100% guaranteed.
-
The Practice of Prolog (Logic Programming)
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 18,10
Expédition à EUR 3,23
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
The Practice of Prolog (Logic Programming)
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 31
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Programming Languages: Paradigm and Practice - PROLOG Mini-Manual
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 29,31
Expédition à EUR 3,23
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Programming Languages: Paradigm and Practice: Prolog Mini-Manual
Langue: anglais
Edité par McGraw Hill Higher Education, 1991
ISBN 10 : 0070025797 ISBN 13 : 9780070025790
Vendeur : Bookmans, Tucson, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 29,31
Expédition à EUR 3,43
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Good. . Satisfaction 100% guaranteed.
-
The Practice of PROLOG
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,85
Expédition à EUR 14,33
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 312 pages. 9.00x7.50x0.75 inches. In Stock.
-
The Practice of Prolog (Logic Programming Series)
Vendeur : Books & Bobs, Deeside, FLINT, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,15
Expédition à EUR 22,88
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : Fine. A tight, bright, and clean copy with no inscriptions and no annotations/notes. No bumps to spine/cover or foxing to pages. Fantastic condition book. 312pp. (19x23.5cm). Please contact us for any more information.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,14
Expédition à EUR 3,43
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Towards Putting Abstract Interpretation of Prolog into Practice
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 77,34
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Towards Putting Abstract Interpretation of Prolog into Practice
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 80,34
Expédition à EUR 2,27
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 74,42
Expédition à EUR 13,74
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Langue: anglais
Edité par VDM Verlag Dr. M�ller 2008-03-27, 2008
ISBN 10 : 3836488582 ISBN 13 : 9783836488587
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 71,72
Expédition à EUR 17,76
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Towards Putting Abstract Interpretation of Prolog into Practice
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 74,41
Expédition à EUR 17,20
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Towards Putting Abstract Interpretation of Prolog into Practice
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 82,29
Expédition à EUR 17,20
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
EUR 82,68
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : New. Logic programming is appealing since it allows the programmer to concentrate on the meaning of the problem to be solved. Unfortunately, for efficiency reasons, the declarative and operational natures of Prolog do not coincide. Prolog uses an incomplete dept.
-
THE PRACTICE OF PROLOG
Edité par The MIT Press, US, 1990
Vendeur : Atlanta Vintage Books, Atlanta, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 974,74
Expédition à EUR 4,30
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardback. Etat : Very Good -. Laminate pictorial boards. Previous owner's name in blue pen to top edge of first free end paper and embossed personal library marking to first free end paper and following page, and highlighting to a few sentences at pages 7 and 250-253. Text is otherwise clean and unmarked. Text block has light soiling and foxing to top edge, a few spots of soiling to center of fore edge, and previous owner's name in blue pen to lower edge near spine. Boards are clean and bright with two small spots of tearing to laminate at top edge of rear board, one along fore egde and one near spine edge, and light bumping to corners and ends of spine. Binding is tight, boards are slightly bowed.
-
Towards Putting Abstract Interpretation of Prolog into Practice Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 80,51
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Towards Putting Abstract Interpretation of Prolog into Practice Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 75,14
Expédition à EUR 5,76
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Towards Putting Abstract Interpretation of Prolog into Practice : Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 79,95
Expédition à EUR 62,50
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Logic programming is appealing since it allows the programmer to concentrate on the meaning of the problem to be solved. Unfortunately, for efficiency reasons, the declarative and operational natures of Prolog do not coincide. Prolog uses an incomplete depth-first search rule, unifications and negations may be unsound, and there are extralogical features like the cut or dynamic predicates.The goal and topic of this thesis is the design, implementation and evaluation of an abstract interpretation framework of Prolog to integrate state-of-the-art techniques. The analyser is based on an original proposal that defines the notion of abstract sequence, which allows one to verify many desirable operational properties of a logic procedure. The properties include types, modes, sharing of terms, proving termination, linear relations between the size of input/output terms and the number of solutions to a call. We also design and implement an optimiser that generates specialised code. The optimiser uses the abstract information to safely apply source-to-source transformations. Code transformations include clause and literal reordering, introduction of cuts, and removal of redundant literals. The optimiser follows a precise strategy to choose the most rewarding transformations in best order.
