Gesamtpreis (1 Artikel Artikel):
Versandziel:
siekmann jorg h (37 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (37)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (17)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (10)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (9)
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (2)
- Angebotsfoto (11)
- Keine Print-on-Demand Angebote (33)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
European Workshop on Planning: Eswp '91, Sankt Augustin, Frg, March 18-19, 1991 Proceedings (Lecture Notes in Artificial Intelligence 522)
Sprache: Englisch
Verlag: Springer-Verlag, Berlin / London / New York, 1991
ISBN 10: 0387543643 ISBN 13: 9780387543642
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 13,29
EUR 14,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Stickers to front cover. (Lecture Notes in Artificial Intelligence 522). Used.
-
Current Trends in SNePS--Semantic Network Processing System
Sprache: Englisch
Verlag: Springer Verlag, Secaucus, New Jersey, U.S.A., 1990
ISBN 10: 0387526269 ISBN 13: 9780387526263
Soft cover. Zustand: Very Good. Unread and Unmarked.
-
Nonclassical Logics and Information Processing
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 31,54
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 171.
-
Nonclassical Logics and Information Processing - International Workshop, Berlin, Germany, November 9-10, 1990 Proceedings
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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: Used. pp. 171.
-
Nonclassical Logics and Information Processing
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 171.
-
Current Trends In Sneps--semantic Network Processing System
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Current Trends In Sneps--semantic Network Processing System
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Zustand: Used. pp. 162.
-
Current Trends in Sneps
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 55,97
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 162.
-
GWAI - 81. German Workshop on Artificial Intelligence, Bad Honnef, January 1981
Anbieter: HJP VERSANDBUCHHANDLUNG, WEDEL, SH, Deutschland
Verkäuferbewertung 2 von 5 Sternen
Erstausgabe
Softcover. Zustand: Gut. 1. Auflage. xii + 317 p. [INFORMATIK-FACHBERICHTE ; 47]. Buch.
-
German Workshop on Artificial INtelligence Bad Honnef, January 1981. Berlin, Springer 1981. XII, 317 S., Okart. Gutes Exemplar.
-
Current Trends in Sneps
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 162.
-
GWAI-81 German Workshop on Artificial Intelligence Bad Honnef, January 1981
Verlag: Springer, Berlin, 1981
Anbieter: Snookerybooks, Philippolis, Südafrika
Verkäuferbewertung 5 von 5 Sternen
Soft cover. Zustand: 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)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,62
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
8th International Conference on Automated Deduction : Oxford, England, July 27- August 1, 1986. Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,45
EUR 17,95 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Computer-Systeme. (Durchgehend, teils farbig bebildert).
Verlag: Spektrum (Verständliche Forschung), Heidelb.,, 1990
Anbieter: Antiquariat Johannes Herlyn, Freiburg, Deutschland
Verkäuferbewertung 5 von 5 Sternen
weicher Einband. 198 S. (29 cm) OKt. Guter Zustand. 2. Aufl. /// ISBN 3922508510.
-
GWAI-81: German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981 (Informatik-Fachberichte / Subreihe Künstliche Intelligenz) (English and German Edition)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,48
EUR 14,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: 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)
Sprache: Deutsch
Verlag: Springer Berlin Heidelberg, 1982
ISBN 10: 3540119744 ISBN 13: 9783540119746
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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
Sprache: Englisch
Verlag: Amsterdam : North-Holland, 2014
ISBN 10: 0444516247 ISBN 13: 9780444516244
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
24,5 x 19,5 cm. Zustand: 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.
-
Current Trends in SNePS-Semantic Network Processing System (Lecture Notes in Artificial Intelligence)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 84,73
EUR 28,97 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
8th International Conference on Automated Deduction : Oxford, England, July 27- August 1, 1986. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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 KLAU.
-
Taschenbuch. Zustand: Neu. 8th International Conference on Automated Deduction | Oxford, England, July 27- August 1, 1986. Proceedings | Jörg H. Siekmann | Taschenbuch | xii | Englisch | 1986 | Springer | EAN 9783540167808 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings (Lecture Notes in Computer Science, 230)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 101,44
EUR 28,97 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Computational Logic: Volume 9
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 153,95
EUR 28,97 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
-
The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)
Sprache: Englisch
Verlag: Elsevier Science Ltd 2014-12-01, 2014
ISBN 10: 0444516247 ISBN 13: 9780444516244
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 192,43
EUR 17,95 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardcover. Zustand: New.
-
Logic and Computation, Vol. 9
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 218,00
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
-
Handbook of the History of Logic: Logic, a History of Its Central Concepts: Vol 9
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 220,29
EUR 23,17 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 736 pages. 9.50x7.50x1.50 inches. In Stock.
-
Zustand: New.
