Importe total (1 artículo artículos):
Destino del pedido:
algebraic logic programming international (48 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (48)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (11)
- No impresión bajo demanda (48)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Lecture Notes in Computer Science, No. 343)
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 6,70
Convertir monedaEUR 20,77 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 16 (weekend SALE item)* 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
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 50,26
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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 International Workshop at Gaussig, GDR; November 14-18, 1988. Volume 343, Lecture Notes in Computer Science.
Publicado por Springer-Verlag, OHG, Berlin, Germany, 1988
ISBN 10: 3540506675 ISBN 13: 9783540506676
Idioma: Inglés
Librería: SUNSET BOOKS 2, Newark, OH, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 8,92
Convertir monedaEUR 40,68 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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.
-
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Lecture Notes in Computer Science, 1139)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,47
Convertir monedaEUR 4,67 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science, 1298)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,47
Convertir monedaEUR 4,67 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science, 463)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,47
Convertir monedaEUR 4,67 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Lecture Notes in Computer Science, 343)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,47
Convertir monedaEUR 4,67 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science, 632)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,47
Convertir monedaEUR 4,67 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (Lecture Notes in Computer Science, 850)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,47
Convertir monedaEUR 4,67 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Publicado por Springer Berlin Heidelberg, 1992
ISBN 10: 354055873X ISBN 13: 9783540558736
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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 : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
Publicado por Springer Berlin Heidelberg, 1996
ISBN 10: 3540617353 ISBN 13: 9783540617358
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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 : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Publicado por Springer Berlin Heidelberg, 1994
ISBN 10: 3540584315 ISBN 13: 9783540584315
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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 : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Publicado por Springer Berlin Heidelberg, 1990
ISBN 10: 3540531629 ISBN 13: 9783540531623
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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 : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
Publicado por Springer Berlin Heidelberg, 1989
ISBN 10: 3540506675 ISBN 13: 9783540506676
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
-
Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Publicado por Springer Berlin Heidelberg, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
-
Algebraic and Logic Programming : 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,69
Convertir monedaEUR 17,30 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,45
Convertir monedaEUR 17,60 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Algebraic and Logic Programming - Proceedings of the 2nd International Conference, Nancy, France, October 1-3, 1990
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 50,26
Convertir monedaEUR 25,97 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Algebraic and Logic Programming : 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,46
Convertir monedaEUR 17,62 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algebraic and Logic Programming : 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 64,18
Convertir monedaEUR 17,30 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Algebraic and Logic Programming : 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 67,38
Convertir monedaEUR 17,62 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 78,05
Convertir monedaEUR 17,60 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 78,05
Convertir monedaEUR 17,60 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 78,05
Convertir monedaEUR 17,60 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 29,31
Convertir monedaEUR 64,92 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 35,01
Convertir monedaEUR 64,92 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. 0387531629 Ex-library paperback in very nice condition with the usual markings and attachments.
-
Algebraic and Logic Programming : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 89,10
Convertir monedaEUR 17,60 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Algebraic and Logic Programming : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 89,10
Convertir monedaEUR 17,60 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 41,97
Convertir monedaEUR 64,92 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,70
Convertir monedaEUR 64,92 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
