Importo totale (1 articolo articoli):
Destinazione ordine:
practice prolog (18 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (18)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (10)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (6)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (4)
- Non Print on Demand (14)
Lingua (2)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Programming Languages: Paradigm and Practice: Prolog Minimanual
Editore: McGraw Hill Higher Education, 1996
EUR 8,73
Convertire valutaEUR 21,30 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. Satisfaction 100% guaranteed.
-
Programming Languages: Paradigm and Practice: Prolog Mini-Manual
Editore: McGraw Hill Higher Education, 1991
ISBN 10: 0070025797 ISBN 13: 9780070025790
Lingua: Inglese
EUR 29,03
Convertire valutaEUR 21,30 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. . Satisfaction 100% guaranteed.
-
The Practice of Prolog (Logic Programming)
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 45,16
Convertire valutaEUR 10,32 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
The Practice of Prolog
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,78
Convertire valutaEUR 17,76 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
The Practice of PROLOG
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 55,88
Convertire valutaEUR 11,47 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 312 pages. 9.00x7.50x0.75 inches. In Stock.
-
The Practice of Prolog (Logic Programming Series)
Da: Books & Bobs, Deeside, FLINT, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 53,17
Convertire valutaEUR 16,00 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: 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
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 72,70
Convertire valutaEUR 10,31 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 80,74
Convertire valutaEUR 7,67 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 66,37
Convertire valutaEUR 25,54 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Editore: VDM Verlag Dr. M�ller 2008-03-27, 2008
ISBN 10: 3836488582 ISBN 13: 9783836488587
Lingua: Inglese
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 71,76
Convertire valutaEUR 22,93 per la spedizione da Regno Unito a ItaliaQuantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Softcover. Condizione: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 71,18
Convertire valutaEUR 63,90 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
The Practice of Prolog (Logic Programming)
Da: Webster's Bookstore Cafe, Inc., State College, PA, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 171,05
Convertire valutaEUR 37,49 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Light shelf wear. Else clean and tight.
-
THE PRACTICE OF PROLOG
Editore: The MIT Press, US, 1990
Da: Atlanta Vintage Books, Atlanta, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 965,35
Convertire valutaEUR 25,56 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: 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
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 80,89
Convertire valutaEUR 1,20 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: 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
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 76,31
Convertire valutaEUR 6,03 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
EUR 71,14
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.
-
EUR 79,95
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
