Order Total (1 Item Items):
Shipping Destination:
Hölldobler Steffen (84 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (84)
- 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 (63)
- As New, Fine or Near Fine (12)
- Very Good or Good (7)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (45)
- Not Print on Demand (57)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
KI-96: Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence, Volume 1137
Published by Springer, 1996
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, April 27 (weekend SALE item)* 386 pp., paperback, ex-library, 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.
-
Logik und Logikprogrammierung.
Published by Synchron Wissenschaftsverlag der Autoren., Heidelberg., 2001
ISBN 10: 3935025246 ISBN 13: 9783935025249
2., erweiterte Aufl. Broschur 23x16 cm, Einband abgegriffen, Deckelkanten mit kl. Knicken. 304 S. Gewicht in Gramm: 540.
-
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Foundations of Equational Logic Programming (Lecture Notes in Computer Science, 353)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 35.19
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Deduktion Automatisierung der Logik
Language: German
Published by München ; Wien : Oldenbourg, 1992
ISBN 10: 3486207857 ISBN 13: 9783486207859
Seller: avelibro OHG, Dinkelscherben, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
24,5 x 17,5 cm. Condition: Gut. Handbuch der Informatik ; Band 6. 2. 269 Seiten ; Mit graphischen Darstellungen Original Pappband mit Bibliotheksrückenschild. Leicht angestaubt und fleckig. Ecken teils etwas bestoßen. Innen mit Bibliotheksstempeln, sehr sauberes Exemplar B10-04-04B|S39 Altersfreigabe FSK ab 0 Jahre Sprache: Deutsch Gewicht in Gramm: 660.
-
Logik und Logikprogrammierung. Kolleg Synchron.
Published by Synchron, Heidelberg, 2003
ISBN 10: 3935025599 ISBN 13: 9783935025591
Broschur 23x15 cm, Einband deutlich abgegriffen, 302 S. Gewicht in Gramm: 530.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in Computer Science, 5293)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings (Lecture Notes in Computer Science, 1137)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
KI 2015: Advances in Artificial Intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
Ki 2015 Advances in Artificial Intelligence : 38th Annual German Conference on Ai, Dresden, Germany, September 21-25, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Condition: New. pp. 444.
-
Foundations of Equational Logic Programming
Language: English
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 354051533X ISBN 13: 9783540515333
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.
-
Taschenbuch. Condition: Neu. Foundations of Equational Logic Programming | Steffen Hölldobler | Taschenbuch | xii | Englisch | 1989 | Springer | EAN 9783540515333 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 408 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996. The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.
-
Paperback. Condition: Like New. Like New. book.
-
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel (Applied Logic Series, 19)
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
KI 2015: Advances in Artificial Intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
Language: English
Published by Springer International Publishing, 2015
ISBN 10: 3319244884 ISBN 13: 9783319244884
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 38th Annual German Conference on Artificial Intelligence, KI 2015, held in Dresden, Germany, in September 2015. The 15 revised full technical papers presented together with 14 technical communications, 4 doctoral consortium contributions, and 3 keynotes were carefully reviewed and selected from 58 submissions. The conference provides the opportunity to present a wider range of results and ideas that are of interest to the KI audience, including reports about recent own publications, position papers, and previews of ongoing work.
-
Paperback. Condition: Brand New. 388 pages. 9.25x6.10x0.88 inches. In Stock.
-
KI-96: Advances in Artificial Intelligence : 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540617086 ISBN 13: 9783540617082
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996.The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.
-
Taschenbuch. Condition: Neu. KI 2015: Advances in Artificial Intelligence | 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings | Steffen Hölldobler (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2015 | Springer | EAN 9783319244884 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Logics in Artificial Intelligence | 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings | Steffen Hölldobler (u. a.) | Taschenbuch | xi | Englisch | 2008 | Springer | EAN 9783540878025 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. KI-96: Advances in Artificial Intelligence | 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings | Günther Görz (u. a.) | Taschenbuch | xiv | Englisch | 1996 | Springer | EAN 9783540617082 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
