Siekmann jorg h (38 risultati)
- Brossura
Da: PsychoBabel & Skoob Books, Didcot, Regno UnitoPsychoBabel & Skoob Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 13,30
EUR 14,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Good. No Dust Jacket. Stickers to front cover. (Lecture Notes in Artificial Intelligence 522). Used.
Lingua: Inglese
Editore: Springer Verlag, Secaucus, New Jersey, U.S.A. 1990
- Brossura
Da: G3 Books, Winnipeg, MB, CanadaG3 Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 10,82
EUR 23,68 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: Very Good. Unread and Unmarked.
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 31,57
EUR 7,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 171.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 36,06
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 171.
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,38
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: NEPO UG, Rüsselsheim am Main, GermaniaNEPO UG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 16,65
EUR 24,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Broschiert. Condizione: Gut. IX, 708 S. : Ill. Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand, Literaturangaben Sprache: Englisch Gewicht in Gramm: 550.
- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 31,44
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 171.
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,22
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,22
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 59,08
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 162.
- Brossura
Da: Antiquariat Dorner, Reinheim, GermaniaAntiquariat Dorner
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 30,00
EUR 31,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
German Workshop on Artificial INtelligence Bad Honnef, January 1981. Berlin, Springer 1981. XII, 317 S., Okart. Gutes Exemplar.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 56,03
EUR 7,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 162.
- Brossura
- Prima edizione
Da: HJP VERSANDBUCHHANDLUNG, WEDEL, SH, GermaniaHJP VERSANDBUCHHANDLUNG
Contatta il venditoreVenditore con 2 stelleCondizione: Usato - Molto buono
EUR 32,50
EUR 29,50 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Softcover. Condizione: Gut. 1. Auflage. xii + 317 p. [INFORMATIK-FACHBERICHTE ; 47]. Buch.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 54,38
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 162.
Editore: Springer, Berlin 1981
- Brossura
Da: Snookerybooks, Philippolis, SudafricaSnookerybooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 18,10
EUR 25,00 spedizioneSpedito da Sudafrica a U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: Very Good. Ex-lib with usual stamps etc. 317pp unmarked but sl. age-toned.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,69
EUR 13,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,51
EUR 17,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
Editore: Spektrum (Verständliche Forschung), Heidelb., 1990
- Brossura
Da: Antiquariat Johannes Herlyn, Freiburg, GermaniaAntiquariat Johannes Herlyn
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 28,00
EUR 20,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
weicher Einband. 198 S. (29 cm) OKt. Guter Zustand. 2. Aufl. /// ISBN 3922508510.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,57
EUR 14,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. bilingual edition. 336 pages. German language. 9.60x6.60x0.76 inches. In Stock.
- Brossura
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermaniaRoland Antiquariat UG haftungsbeschränkt
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 7,20
EUR 42,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
Altre immagini- Rilegato
- Prima edizione
Da: avelibro OHG, Dinkelscherben, Germaniaavelibro OHG
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: BOEV
Condizione: Usato - Molto buono
EUR 80,00
EUR 26,85 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
24,5 x 19,5 cm. Condizione: 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.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 84,83
EUR 29,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 65,39 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 termin…ation 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.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 101,55
EUR 29,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
- Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 138,52
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 154,12
EUR 29,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
- Rilegato
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 192,64
EUR 17,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardcover. Condizione: New.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 218,23
EUR 7,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 220,54
EUR 23,20 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 1st edition. 736 pages. 9.50x7.50x1.50 inches. In Stock.
