Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
EUR 6,63
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Springer-Verlag, OHG, Berlin, Germany, 1988
ISBN 10: 3540506675 ISBN 13: 9783540506676
Librería: SUNSET BOOKS 2, Newark, OH, Estados Unidos de America
Original o primera edición
EUR 8,73
Cantidad 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.
Idioma: Inglés
Publicado por Akademie Verlag, 1978
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
EUR 15,95
Cantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Gut. 141 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 260.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 34,06
Cantidad 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.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
EUR 41,59
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Librería: GoldBooks, Denver, CO, Estados Unidos de America
EUR 44,22
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 51,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 51,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,00
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,20
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 73,72
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 284.
Librería: Buchmarie, Darmstadt, Alemania
EUR 55,44
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Buchschnitt leicht verschmutzt.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 101,65
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 112,61
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1989
ISBN 10: 3540506675 ISBN 13: 9783540506676
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad 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.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1990
ISBN 10: 3540531629 ISBN 13: 9783540531623
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad 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.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 125,71
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 112,56
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 123,77
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 107,42
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 124,51
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 139,25
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 356.
EUR 147,26
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. Reprint 2022.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 152,16
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. reprint edition. 356 pages. 9.50x6.60x0.90 inches. In Stock.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2012
ISBN 10: 3642767737 ISBN 13: 9783642767739
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 106,99
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer science. The notation is simple and the concepts are clearly presented. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories. The book also presents a thorough study of term rewriting systems. Besides basic notions, the Knuth-Bendix completion procedure and termination proof methods are considered. A third main topic is that of fixpoint techniques and complete ordered algebras. Algebraic specifications of abstract data types and algebraic semantics of recursive program schemes are treated as applications. The book is self-contained and suitable both as a textbook for graduate courses and as a reference for researchers.
Idioma: Inglés
Publicado por De Gruyter, Mercury Learning And Information Jan 1989, 1989
ISBN 10: 3112620259 ISBN 13: 9783112620250
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 109,95
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware -No detailed description available for 'Algebraic and Logic Programming'. 284 pp. Englisch.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 109,95
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - No detailed description available for 'Algebraic and Logic Programming'.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 163,52
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.