Montant total (1 article articles) :
Destination de la commande :
algebraic logic programming proceedings (45 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (45)
- 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 (37)
- Comme neuf, Très bon ou Bon (5)
- Assez bon ou satisfaisant (3)
- 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 (17)
- Sans impressions à la demande (45)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992 Proceedings (Lecture Notes in Computer Science 632)
Langue: anglais
Edité par Springer-Verlag, Berlin, 1992
ISBN 10 : 038755873X ISBN 13 : 9780387558738
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 14,35
Expédition à EUR 14,51
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Etat de la jaquette : No Dust Jacket. Lecture Notes in Computer Science 632; Ex-Library. Previous owner's sticker on the front cover. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,48
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Lecture Notes in Computer Science, No. 343)
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,88
Expédition à EUR 3,94
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 278 pp., Paperback, ex library, some wear to cover, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Algebraic and Logic Programming - Proceedings of the 2nd International Conference, Nancy, France, October 1-3, 1990
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,89
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Algebraic and Logic Programming - Proceedings of the 2nd International Conference, Nancy, France, October 1-3, 1990
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,89
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,53
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Paperback or Softback)
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,92
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings. Book.
-
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science, 632)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 61,33
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 62,24
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science, 463)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,72
Expédition à EUR 13,90
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science, 632)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,72
Expédition à EUR 13,90
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (Lecture Notes in Computer Science, 850)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,72
Expédition à EUR 13,90
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Algebraic and Logic Programming : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,29
Expédition à EUR 17,98
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,09
Expédition à EUR 17,98
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings: International . 5th (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,19
Expédition à EUR 17,98
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Lecture Notes in Computer Science, 1139)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,72
Expédition à EUR 13,90
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Lecture Notes in Computer Science, 343)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,72
Expédition à EUR 13,90
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,15
Expédition à EUR 17,98
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,35
Expédition à EUR 17,98
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,31
Expédition à EUR 17,41
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,90
Expédition à EUR 17,41
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Langue: anglais
Edité par Springer Berlin Heidelberg, 1994
ISBN 10 : 3540584315 ISBN 13 : 9783540584315
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 62,47
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.
-
Algebraic and Logic Programming : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 62,73
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled 'Toward the Concurrent Implementation of Computational Systems'. The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.
-
Algebraic and Logic Programming : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 63,02
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Proving and rewriting.- Proving correctness w.r.t. specifications with hidden parts.- Hybrid implementations of algebraic specifications.- Multi-modal logic programming using equational and order-sorted logic.- Logic programs with equational type specifications.- Higher-order order-sorted algebras.- Axiomatization of a functional logic language.- Fourier algorithm revisited.- Fixpoint techniques for non-monotone maps.- Domain theory for nonmonotonic functions.- On the strong completion of logic programs.- An equivalence preserving first order unfold/fold transformation system.- Propositional calculus problems in CHIP.- Unfolding and fixpoint semantics of concurrent constraint logic programs.- Eliminating negation from normal logic programs.- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic.- Recursive query processing in predicate-goal graph.- Implementation of completion by transition rules + control: ORME.- A matching process modulo a theory of categorical products.- Equation solving in conditional AC-theories.- Lazy narrowing in a graph machine.- An abstract concurrent machine for rewriting.- Applying term rewriting methods to finite groups.- Termination proofs by multiset path orderings imply primitive recursive derivation lengths.- Optimization of rewriting and complexity of rewriting.- AC-Termination of rewrite systems: A modified Knuth-Bendix ordering.
-
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Langue: anglais
Edité par Springer Berlin Heidelberg, 1992
ISBN 10 : 354055873X ISBN 13 : 9783540558736
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 63,55
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the ThirdInternational Conference on Algebraic and Logic Programming,held in Pisa, Italy, September 2-4, 1992. Like the twoprevious conferences in Germany in 1988 and France in 1990,the third conference aims at strengthening the connectionsbetweenalgebraic techniques and logic programming. On theone hand, logic programming has been very successful duringthe last decades and more and more systems compete inenhancing its expressive power. On the other hand, conceptslike functions, equality theory, and modularity areparticularly well handled in an algebraic framework. Commonfoundations of both approaches have recently been developed,and this conference is a forum for people from both areas toexchange ideas, results, and experiences. The book coversthe following topics: semantics ofalgebraic and logicprogramming; integration of functional and logicprogramming; term rewriting, narrowing, and resolution;constraintlogic programming and theorem proving; concurrentfeatures in algebraic and logic programming languages; andimplementation issues.
-
Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
Langue: anglais
Edité par Springer Berlin Heidelberg, 1989
ISBN 10 : 3540506675 ISBN 13 : 9783540506676
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 62,18
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.
-
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Algebraic and Logic Programming | 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings | Giorgio Levi (u. a.) | Taschenbuch | x | Englisch | 1994 | Springer | EAN 9783540584315 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Algebraic and Logic Programming | 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings | Michael Hanus (u. a.) | Taschenbuch | viii | Englisch | 1996 | Springer | EAN 9783540617358 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Algebraic and Logic Programming | International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings | Jan Grabowski (u. a.) | Taschenbuch | ix | Englisch | 1989 | Springer | EAN 9783540506676 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,97
Expédition à EUR 62,35
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
