Montant total (1 article articles) :
Destination de la commande :
logic programming volume proceedings (7 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (7)
- 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 (2)
- Comme neuf, Très bon ou Bon (Aucun autre résultat ne correspond à ces critères)
- Assez bon ou satisfaisant (5)
- 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 (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (2)
- Sans impressions à la demande (7)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20
- EUR 20 à EUR 45
- Plus de EUR 45 (Aucun autre résultat ne correspond à ces critères)
Livraison gratuite
- Livraison gratuite à destination de Etats-Unis (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Logic Programming 1985 Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985.(Lecture Notes In Computer Science Volume 221.)
Vendeur : GloryBe Books & Ephemera, LLC, Deforest, WI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,25
EUR 4,85 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Good. Pages tanned otherwise Good. NOT A FORMER LIBRARY BOOK.
-
Algebraic and Logic Programming: Proceedings of International Workshop at Gaussig, GDR; November 14-18, 1988. Volume 343, Lecture Notes in Computer Science.
Edité par Springer-Verlag, OHG, Berlin, Germany, 1988
ISBN 10 : 3540506675 ISBN 13 : 9783540506676
Langue: anglais
Vendeur : SUNSET BOOKS 2, Newark, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 8,94
EUR 4,78 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. No Jacket. 1st. Has all standard Library markings, pocket, labels, stamps, wear and soil to covers. CLEAN TEXT. Thank you for your purchase from Sunset Books! Help Promote World Literacy, GIVE a Book as a GIFT!! In stock, Ships from Ohio. Will not fit in Flat Rate Priority Mail envelope. USPS Variable Rate applies for Domestic or International Priority mail. WE COMBINE SHIPPING ON MULTIPLE PURCHASES!!!! Size: 8vo. Ex-Library.
-
Lecture Notes in Computer Science, Volume 264: Logic Programming '86, Proceedings, 23-26 June 1986, Tokyo, Japan.
Edité par Springer-Verlag, Berlin, 1987
ISBN 10 : 3540180249 ISBN 13 : 9783540180241
Langue: anglais
Vendeur : SUNSET BOOKS 2, Newark, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 16,99
EUR 4,78 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : Very Good. No Jacket. First. 179pp, w/full markings, pocket, and/or bookplate. Wear, soil. Weight is 1.25 lb. Ex-Library Size: 8vo. Book.
-
Lecture Notes in Computer Science, Volume 315: Logic Programming '87, Proceedings, 22-24 June 1987, Tokyo, Japan.
Edité par Springer-Verlag, Berlin, 1988
ISBN 10 : 3540194266 ISBN 13 : 9783540194262
Langue: anglais
Vendeur : SUNSET BOOKS 2, Newark, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 18,78
EUR 4,78 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : Very Good. No Jacket. First. 327pp, w/full markings, pocket, and/or bookplate. Wear, soil. Weight is 1.75 lb. Ex-Library Size: 8vo. Book.
-
![Image d'archives pour Intelligent Engineering Systems Through Artificial Neural Networks, Volume 6: Smart Engineering Systems: Neural Networks, Fuzzy Logic, and Evolutionary Programming. Proceedings of the Artificial Neural Networks in Engineering (ANNIE '96) Conference, Held November 10-13, 1996, in St. Louis, Missouri, U.S.A. [ASME Press Series on Intelligent Engineering Systems Through Artificial Neural Networks] mis en vente par Tiber Books](https://pictures.abebooks.com/isbn/9780791800515-fr-300.jpg)
Intelligent Engineering Systems Through Artificial Neural Networks, Volume 6: Smart Engineering Systems: Neural Networks, Fuzzy Logic, and Evolutionary Programming. Proceedings of the Artificial Neural Networks in Engineering (ANNIE '96) Conference, Held November 10-13, 1996, in St. Louis, Missouri, U.S.A. [ASME Press Series on Intelligent Engineering Systems Through Artificial Neural Networks]
Edité par ASME Press / American Society of Mechanical Engineers, New York., 1996
ISBN 10 : 0791800512 ISBN 13 : 9780791800515
Langue: anglais
Vendeur : Tiber Books, Cockeysville, MD, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 44,72
EUR 4,77 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. 8vo, hardcover. No dj. Vg+ condition. Single non-circulating ex-lib stamp & label on 2 early pgs (only markings), contents bright, crisp & clean, unopened. xx, 1152 p.
-
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Edité par Springer Berlin Heidelberg, 1987
ISBN 10 : 354017611X ISBN 13 : 9783540176114
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,44
EUR 62,70 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog ¿ A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotations.- Hoisting: Lazy evaluation in a cold climate.- Inductive assertion method for logic programs.- Higher order generalization in program derivation.- Implementing algebraically specified abstract data types in an imperative programming language.- A declarative environment for concurrent logic programming.- Or-parallel execution models of Prolog.- Retractions: A functional paradigm for logic programming.- Refined strategies for semantic unification.- Extensional models for polymorphism.- A type discipline for program modules.- Theory and practice of canonical term functors in abstract data type specifications.
-
EUR 37,30
EUR 70 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 | Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) | Hartmut Ehrig (u. a.) | Taschenbuch | xiv | Englisch | 1987 | Springer-Verlag GmbH | EAN 9783540176114 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
