Order Total (1 Item Items):
Shipping Destination:
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (75)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (57)
- As New, Fine or Near Fine (3)
- Very Good or Good (9)
- Fair or Poor (No further results match this refinement)
- As Described (6)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (4)
- Seller-Supplied Images (37)
- Not Print on Demand (48)
Language (4)
Free Shipping
Seller Location
Seller Rating
-
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Lecture Notes in Computer Science, No. 343)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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 International Workshop at Gaussig, GDR; November 14-18, 1988. Volume 343, Lecture Notes in Computer Science.
Language: English
Published by Springer-Verlag, OHG, Berlin, Germany, 1988
ISBN 10: 3540506675 ISBN 13: 9783540506676
First Edition
Paperback. Condition: 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.
-
Pintura del Mercosur: Breve Panorama del Periodo 1950-1980 (Spanish Edition)
Language: Spanish
Published by EDICIONES BANCO VELOX, 2002
ISBN 10: 9879853032 ISBN 13: 9789879853030
Paperback. Condition: 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!
-
Hard Cover. Condition: Very Good. Dust Jacket Condition: Very Good. First Edition. Standard used condition. Reading copy or better. Used Book.
-
The Concept of Fuzziness in Automata and Language Theory. Studien zur Algebra und ihre Anwendungen. Band 5.
Language: English
Published by Akademie Verlag, 1978
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: 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.
-
Benjamin Franklin: American and World Educator (Twayne's World Leaders Series))
Language: English
Published by Twayne Publishers, Boston, Massachusetts, 1977
ISBN 10: 0805776672 ISBN 13: 9780805776676
Hardcover. Condition: As New. No Jacket. First Edition, First Printing. (First Edition, First Printing) Book is a clean tight unmarked copy.
-
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990 Proceedings
Language: English
Published by Springer-Verlag, New York, 1990
ISBN 10: 0387531629 ISBN 13: 9780387531625
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Association Member: ABAA CBA ILAB
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. New York: Springer-Verlag, 1990. vii, 386 pp. 24 x 16.5 cm. Stiff paper wrappers printed in silver and maroon with white and maroon lettering to covers and spine. Some light rubbing to spine ends and corners of covers. Two light smudges to fore-edge of text block. Interior is clean and unmarked. Binding sound with no creases or cracks. . Soft Cover. Very Good.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: 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.
-
Pintura del Mercosur (Compendio)
Language: Spanish
Published by Ediciones Banco Velox, 1982
ISBN 10: 9879853032 ISBN 13: 9789879853030
Condition: New. Dust Jacket Condition: Nuevo.
-
-
-
Pintura del Mercosur (Compendio)
Language: Spanish
Published by Ediciones Banco Velox, 1982
ISBN 10: 9879853032 ISBN 13: 9789879853030
Condition: New. Dust Jacket Condition: Nuevo.
-
Cloth. Dust Jacket Included. Reprint. Cloth. Reprint. Ex-Library. 8vo - over 7¾" - 9¾" tall. Book is white and tight endpapers removed, Very good dustwrapper with some shelfwear, Contains Cyril Stanley Smith's "Structural Hierarchy in Science, Art, and History;" Philip Morrison's "On Broken Symmetries;" Arthur I. Miller's "Visualization Lost and Regained: The Genesis of the Quantum Theory in the Period 1913-27;" Seymour A. Papert's "The Mathematical Unconscious;" Howard E. Gruber's "Darwin's 'Tree of Nature' and Other Images of Wide Scope Size: 8vo - over 7¾" - 9¾" tall. Ex-Library.
-
Condition: Used. pp. 386 2nd Edition.
-
Condition: Used. pp. 386.
-
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science, 463)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.18
US$ 16.32 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Lecture Notes in Computer Science, 343)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.18
US$ 16.32 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 67.01
US$ 21.10 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 67.24
US$ 21.10 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Condition: Used. pp. 386.
-
Condition: New. pp. 284.
-
Giacomo Manzù: The Touchtone Suite, 1970.
Published by New York: CFA Graphics., 1970
Seller: Wittenborn Art Books, San Francisco, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Unpaginated. Brochure for a series of prints. Illustrated in black and white. 4to. Wraps.
-
Condition: Good. Buchschnitt leicht verschmutzt.
-
-
-
Algebraic and Logic Programming : International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
Language: English
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540506675 ISBN 13: 9783540506676
Taschenbuch. Condition: 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 : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Language: English
Published by Springer Berlin Heidelberg, 1990
ISBN 10: 3540531629 ISBN 13: 9783540531623
Taschenbuch. Condition: 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.
-
-
Universal Algebra for Computer Scientists (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 132.32
US$ 16.32 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
