Order Total (1 Item Items):
Shipping Destination:
Siekmann Jorg H (43 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (43)
- 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 (20)
- As New, Fine or Near Fine (4)
- Very Good or Good (11)
- Fair or Poor (No further results match this refinement)
- As Described (8)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (2)
- Seller-Supplied Images (14)
- Not Print on Demand (38)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
European Workshop on Planning: Eswp '91, Sankt Augustin, Frg, March 18-19, 1991 Proceedings (Lecture Notes in Artificial Intelligence 522)
Language: English
Published by Springer-Verlag, Berlin / London / New York, 1991
ISBN 10: 0387543643 ISBN 13: 9780387543642
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
US$ 15.38
US$ 16.77 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Good. Dust Jacket Condition: No Dust Jacket. Stickers to front cover. (Lecture Notes in Artificial Intelligence 522). Used.
-
Current Trends in SNePS--Semantic Network Processing System
Language: English
Published by Springer Verlag, Secaucus, New Jersey, U.S.A., 1990
ISBN 10: 0387526269 ISBN 13: 9780387526263
Soft cover. Condition: Very Good. Unread and Unmarked.
-
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.
-
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Condition: Used. pp. 171.
-
Condition: Used. pp. 171.
-
Condition: Used. pp. 171.
-
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.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
GWAI - 81. German Workshop on Artificial Intelligence, Bad Honnef, January 1981
Language: English
Published by Springer-Verlag, Berlin, 1981
ISBN 10: 3540108599 ISBN 13: 9783540108597
First Edition
Softcover. Condition: Gut. 1. Auflage. xii + 317 p. [INFORMATIK-FACHBERICHTE ; 47]. Buch.
-
Condition: Used. pp. 162.
-
Condition: As New. Unread book in perfect condition.
-
Condition: Used. pp. 162.
-
Condition: As New. Unread book in perfect condition.
-
Condition: Used. pp. 162.
-
GWAI-81 German Workshop on Artificial Intelligence Bad Honnef, January 1981
Published by Springer, Berlin, 1981
Soft cover. Condition: Very Good. Ex-lib with usual stamps etc. 317pp unmarked but sl. age-toned.
-
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings (Lecture Notes in Computer Science, 230)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.18
US$ 16.07 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.50
US$ 20.78 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
-
-
Computer-Systeme. (Durchgehend, teils farbig bebildert).
Published by Spektrum (Verständliche Forschung), Heidelb.,, 1990
Seller: Antiquariat Johannes Herlyn, Freiburg, Germany
Seller rating 5 out of 5 stars
weicher Einband. 198 S. (29 cm) OKt. Guter Zustand. 2. Aufl. /// ISBN 3922508510.
-
US$ 92.96
US$ 16.77 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. bilingual edition. 336 pages. German language. 9.60x6.60x0.76 inches. In Stock.
-
Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15-24. März 1982 (Informatik-Fachberichte, 59, Band 59)
Language: German
Published by Springer Berlin Heidelberg, 1982
ISBN 10: 3540119744 ISBN 13: 9783540119746
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
1. 404 Seiten Guter Zustand. Leseseiten sind etwas nachgedunkelt, aber sauber u. ohne Markierungen. Leichte Lager- bzw. Gebrauchsspuren. Ansonsten sehr ordentliches Exemplar. 9783540119746 Sprache: Deutsch Gewicht in Gramm: 581 Softcover, Größe: 17 x 2.3 x 24.4 cm.
-
Computational Logic Volume 9
Language: English
Published by Amsterdam : North-Holland, 2014
ISBN 10: 0444516247 ISBN 13: 9780444516244
Seller: avelibro OHG, Dinkelscherben, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
First Edition
24,5 x 19,5 cm. Condition: Gut. 1. Edition. XII, 734 Seiten ; Mit Figuren und Tabellen Handbook of the History of Logic 9 - Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband sehr gut erhalten. In Englisch B11-21-01X Sprache: Englisch Gewicht in Gramm: 1685.
-
US$ 98.09
US$ 33.53 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Connections and higher-order logic.- Commutation, transformation, and termination.- Full-commutation and fair-termination in equational (and combined) term-rewriting systems.- An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations.- Proving termination of associative commutative rewriting systems by rewriting.- Relating resolution and algebraic completion for Horn logic.- A simple non-termination test for the Knuth-Bendix method.- A new formula for the execution of categorical combinators.- Proof by induction using test sets.- How to prove equivalence of term rewriting systems without induction.- Sufficient completeness, term rewriting systems and 'anti-unification'.- A new method for establishing refutational completeness in theorem proving.- A theory of diagnosis from first principles.- Some contributions to the logical analysis of circumscription.- Modal theorem proving.- Computational aspects of three-valued logic.- Resolution and quantified epistemic logics.- A commonsense theory of nonmonotonic reasoning.- Negative paramodulation.- The heuristics and experimental results of a new hyperparamodulation: HL-resolution.- ECR: An equality conditional resolution proof procedure.- Using narrowing to do isolation in symbolic equation solving - an experiment in automated reasoning.- Formulation of induction formulas in verification of prolog programs.- Program verifier 'Tatzelwurm': Reasoning about systems systems of linear inequalities.- An interactive verification system based on dynamic logic.- What you always wanted to know about clause graph resolution.- Parallel theorem proving with connection graphs.- Theory links in semantic graphs.- Abstraction usinggeneralization functions.- An improvement of deduction plans: Refutation plans.- Controlling deduction with proof condensation and heuristics.- Nested resolution.- Mechanizing constructive proofs.- Implementing number theory: An experiment with Nuprl.- Parallel algorithms for term matching.- Unification in combinations of collapse-free theories with disjoint sets of function symbols.- Combination of unification algorithms.- Unification in the data structure sets.- NP-completeness of the set unification and matching problems.- Matching with distributivity.- Unification in boolean rings.- Some relationships between unification, restricted unification, and matching.- A classification of many-sorted unification problems.- Unification in many-sorted equational theories.- Classes of first order formulas under various satisfiability definitions.- Diamond formulas in the dynamic logic of recursively enumerable programs.- A prolog machine.- A prolog technology theorem prover: Implementation by an extended prolog compiler.- Paths to high-performance automated theorem proving.- Purely functional implementation of a logic.- Causes for events: Their computation and applications.- How to clear a block: Plan formation in situational logic.- Deductive synthesis of sorting programs.- The TPS theorem proving system.- Trspec: A term rewriting based system for algebraic specifications.- Highly parallel inference machine.- Automatic theorem proving in the ISDV system.- The karlsruhe induction theorem proving system.- Overview of a theorem-prover for a computational logic.- GEO-prover - A geometry theorem prover developed at UT.- The markgraf karl refutation procedure (MKRP).- The J-machine: Functional programming with combinators.- The illinois prover: A general purpose resolutiontheorem prover.- Theorem proving systems of the Formel project.- The passau RAP system: Prototyping algebraic specifications using conditional narrowing.- RRL: A rewrite rule laboratory.- A geometry theorem prover based on Buchberger's algorithm.- REVE a rewrite rule laboratory.- ITP at argonne national laboratory.- Autologic at university of victoria.- Thinker.- The KLAUS automated deduction system.- The KRIPKE aut.
-
US$ 117.43
US$ 33.53 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Hardcover. Condition: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)
Language: English
Published by Elsevier Science Ltd 2014-12-01, 2014
ISBN 10: 0444516247 ISBN 13: 9780444516244
US$ 222.76
US$ 20.78 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardcover. Condition: New.
-
US$ 241.11
US$ 8.72 shipping
Ships from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New.
