Anbieter: Redux Books, Grand Rapids, MI, USA
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!
Sprache: Englisch
Verlag: Akademie Verlag, 1978
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Broschiert. Zustand: 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.
Zustand: 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.
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 11 (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.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
EUR 63,91
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 386.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,02
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,02
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: New York: CFA Graphics., 1970
Anbieter: Wittenborn Art Books, San Francisco, CA, USA
Zustand: Good. Unpaginated. Brochure for a series of prints. Illustrated in black and white. 4to. Wraps.
Verlag: Schwerin : Archäologisches Landesmuseum für Mecklenburg-Vorpommern, 1993
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Hardcover. 174 S. Sehr guter Zustand. Die Leseseiten sind sauber und ohne Markierungen. Leichte Lager- und Gebrauchsspuren. Buchecken bestoßen. Ansonsten sehr gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 1000.
EUR 113,67
Anzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1989
ISBN 10: 3540506675 ISBN 13: 9783540506676
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Anbieter: preigu, Osnabrück, Deutschland
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.
Anbieter: preigu, Osnabrück, Deutschland
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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 114,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Studibuch, Stuttgart, Deutschland
hardcover. Zustand: Sehr gut. 351 Seiten; 9783540542803.2 Gewicht in Gramm: 1.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 126,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: De Gruyter Art & Architecture, 1989
ISBN 10: 3112620259 ISBN 13: 9783112620250
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 127,12
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. reprint edition. 284 pages. 6.69x0.69x9.61 inches. In Stock.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 138,05
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer 1990, 1990
Anbieter: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Deutschland
Softcover Sehr gut erhalten.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 151,69
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 356 pages. 9.50x6.60x0.90 inches. In Stock.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642767737 ISBN 13: 9783642767739
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - No detailed description available for 'Algebraic and Logic Programming'.
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 216,11
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 1989. Hardcover. . . . . . Books ship from the US and Ireland.
Sprache: Deutsch
Verlag: Lübstorf, Archäologisches Landesmuseum für Mecklenburg-Vorpommern,, 1993
Anbieter: Antiquariat Liberarius - Frank Wechsler, Hagenow, Deutschland
Verbandsmitglied: GIAQ
174 S. Mit 64 Textabbildungen, 250 Tabellen und 22 Tafeln. ; Darin: Vorwort, Zielstellung, Arbeitsgrundlagen, Abgrenzung des Arbeitsgebietes, Archäologisch-kulturelle Gliederung des Arbeitsgebietes vom Mesolithikum zum Neolithikum, Lietzow-Gruppe der Erteböllekultur, Spätmesolithikum des Binnenlandes, Bandkeramik und ihre Nachfolgekulturen, Trichterbecherkultur, Chronologische Einordnung der Komplexe aufgrund von 14C-Datierungen, Die Inventare Vorkommen und Qualität von Silexmaterial im Arbeitsgebiet, Analyse geschlagener Steininventare, Merkmalsanalyse und Typologie, Methodik der Untersuchung geschlagener Steininventare, Geschlagenes Steininventar als historische Quelle, Aufnahmesystem und Auswertungsmethoden Zur Arbeit mit Datenbanken, Das Aufnahmesystem, Methoden der mathematischen Auswertung, Ergebnisse der Inventaranalysen, Lietzow-Gruppe der Erteböllekultur, Binnenländisches Spätmesolithikum, Bandkeramik und Rössener Kultur, Bandkeramische Inventare von Eilsieben, Kreis Wanzleben, Bandkeramische Inventare von Zwenkau, Kreis Leipzig, Bandkeramisches Inventar von Zollchow, Kreis Prenzlau, Inventar der Rössener Kultur von Flemsdorf, Kreis Angermünde, Inventar der Rössener Kultur von Wahlitz, Kreis Burg, Zusammenfassung, Inventare der Trichterbecherkultur, Zislow, Kreis Röbel, Gristow, Kreis Greifswald, Eilsieben, Kreis Wanzleben, Derenburg, Kreis Wernigerode, Quenstedt, Kreis Hettstedt, Dölauer Heide bei Halle, Zusammenfassung, Silexbearbeitung der neolithischen Komplexe, Bandkeramik und ihre Nachfolgekulturen, Trichterbecherkultur, Neolithisierung Mittel- und Ostdeutschlands aufgrund vergleichender Untersuchungen zum Silexinventar, Liste der verwendeten 14C-Daten, Literatur, Katalog, Tafeln. Sprache: Deutsch Gewicht in Gramm: 840 4° (30 x 22 cm) , Leinen , Sehr gutes Exemplar.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 160,51
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 163,88
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. reprint edition. 154 pages. German language. 6.69x0.44x9.61 inches. In Stock.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Keine ausführliche Beschreibung für 'The Concept of Fuzziness in Automata and Language Theory' verfügbar.
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 253,03
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 1978. Reprint 2024 ed. hardcover. . . . . . Books ship from the US and Ireland.