Wechler (47 Ergebnisse)

Paperback. Zustand: Very Good. Very good paperback. The text is unmarked. Covers show minor shelf wear with minor rubbing, scuffing.; 100% Satisfaction Guaranteed! Ships same or next business day.

Hardcover. Zustand: As New. Leichte Kratzer / Abnutzungen / Druckstellen. Die Dynamik der Entwicklung der Logistik hat in den letzten Jahren stetig zugenommen. Das liegt nicht zuletzt daran, dass es kaum einen Aufgabenbereich in Unternehmen gibt, der nicht von der Querschnittsfunktion Logistik beeinflusst wird. Zusätzlich rückt dabei das Beziehungsmanagement entlang der gesamten Supply Chain in den Vordergrund. Das Gabler Lexikon Logistik bietet in dieser turbulenten Situation höchst aktuelle, kompetente Orientierung. Es zeigt in wissenschaftlich fundierter, dabei zugleich praxisgerechter Weise Wege, wie die Zukunftsfähigkeit der Logistik sicherzustellen ist.…

Zustand: 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.

Zustand: 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.…

Zustand: Used. pp. 386.

Zustand: Used. pp. 386.

Paperback. Zustand: New. 1990 ed.

Zustand: Good. Unpaginated. Brochure for a series of prints. Illustrated in black and white. 4to. Wraps.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: 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.…

Taschenbuch. Zustand: 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.…

Taschenbuch. Zustand: Neu. Algebraic and Logic Programming | Second International Conference, Nancy, France, October 1-3, 1990. Proceedings | Helene Kirchner (u. a.) | Taschenbuch | ix | Englisch | 1990 | Springer | EAN 9783540531623 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: 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. …

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Softcover Sehr gut erhalten.

Hardback. Zustand: New. Reprint 2022.

Zustand: new.

Zustand: New.

Zustand: New. In English.

Paperback. Zustand: New. 1990 ed.

Zustand: New. In English.

Taschenbuch. Zustand: 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.…

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Hardcover. Zustand: Brand New. reprint edition. 284 pages. 6.69x0.69x9.61 inches. In Stock.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - No detailed description available for 'Algebraic and Logic Programming'.

Paperback. Zustand: Brand New. reprint edition. 356 pages. 9.50x6.60x0.90 inches. In Stock.

Hardback. Zustand: New. Reprint 2022.

Zustand: New. 1989. Hardcover. . . . . .