Siekmann joerg (56 Ergebnisse)
- Softcover
Anbieter: World of Books (was SecondSale), Montgomery, IL, USAWorld of Books (was SecondSale)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 27,17
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Acceptable. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
Sprache: Englisch
Verlag: Springer-Verlag, Berlin / London / New York, 1991
- Softcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes KönigreichPsychoBabel & Skoob Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 13,39
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. No Dust Jacket. Stickers to front cover. (Lecture Notes in Artificial Intelligence 522). Used.
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 38,73
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 31,39
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 171.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 25,09
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 31,47
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 171.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 28,85
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 51,23
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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.
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 55,64
EUR 7,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 162.
- Softcover
- Erstausgabe
Anbieter: HJP VERSANDBUCHHANDLUNG, WEDEL, SH, DeutschlandHJP VERSANDBUCHHANDLUNG
Verkäufer/-in kontaktierenVerkäufer/-in mit 2 SternenZustand: Gebraucht - Gut
EUR 32,50
EUR 29,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Gut. 1. Auflage. xii + 317 p. [INFORMATIK-FACHBERICHTE ; 47]. Buch.
- Softcover
Anbieter: Antiquariat Dorner, Reinheim, DeutschlandAntiquariat Dorner
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 30,00
EUR 33,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
German Workshop on Artificial INtelligence Bad Honnef, January 1981. Berlin, Springer 1981. XII, 317 S., Okart. Gutes Exemplar.
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 54,41
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 162.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,08
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,08
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Verlag: Spektrum (Verständliche Forschung), Heidelb.,, 1990
- Softcover
Anbieter: Antiquariat Johannes Herlyn, Freiburg, DeutschlandAntiquariat Johannes Herlyn
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 28,00
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
weicher Einband. 198 S. (29 cm) OKt. Guter Zustand. 2. Aufl. /// ISBN 3922508510.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,01
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. bilingual edition. 336 pages. German language. 9.60x6.60x0.76 inches. In Stock.
Artificial Intelligence and Soft Computing - ICAISC 2004
Rutkowski, Leszek|Siekmann, Jörg|Tadeusiewicz, Ryszard|Zadeh, Lotfi A.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, DeutschlandRoland Antiquariat UG haftungsbeschränkt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 7,20
EUR 42,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Weitere Bilder- Hardcover
- Erstausgabe
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 80,00
EUR 26,85 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 -abd…rücke durch abgelöste Bibliotheksschilder). Einband sehr gut erhalten. In Englisch B11-21-01X Sprache: Englisch Gewicht in Gramm: 1685.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,42 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the Joint Chinese-German Workshop on Cognitive Systems held in Shanghai, March 2005. The 13 revised papers are organized in topical sections on multimodal human-computer interfaces, ne…uropsychology and neurocomputing, Chinese-German natural language processing and psycholinguistics, as well as information processing and retrieval from the semantic Web for intelligent applications.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,91 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Die erste Fachtagung KünstZiche InteZZigenz der Gesellschaft für Informatik (wenngleich bereits der fünfte Workshop zu diesem Thema in Deutschland) wurde vorn 26. 1. bis 30. 1. 1981 im Physikzentrum in Badffixmef abgehalten. Damit wird nach fast fünf…undzwanzigjähriger Verspätung [1] auch bei uns langsam ein Gebiet salonfähig, das zum Schaden der deut schen Informatik bisher vernachlässigt wurde und das in den USA (und anderen Ländern) bereits seit langem unter dem Namen 'Artificial Intelligence' zu den Kernfächern der Informatik gehört [2]. Die Tagung wurde geprägt durch den Wechsel von eingeladenen Hauptvor trägen von jeweils einstündiger Dauer mit anschließender halbstündiger Diskussion und den speziellen Fachvorträgen von jeweils halbstündiger Redezeit. Die Hauptvorträge (HV) geben auch in etwa die Forschungsschwerpunkte wieder, durch die die KünstZiche InteZZigenz in Deutschland vertreten ist: W. Radig (Harnburg) gibt in seinem HV 'Modelle und Strukturen in der Bildverarbeitung' einen Uberblick über die Forschung auf dem Gebiet Computersehen. Der Beitrag konzentriert sich dabei besonders auf die Aspekte, die über das traditionelle 'pattern recognition' hinausgehen und steht damit in engem Zusammenhang mit dem zweiten HV: J. Foith (Karlsruht:) 'Roboterforschung: Von Spielzeugwelten zur industriellen Anwendung'. Dieser Beitrag dürfte besonders für Leser aus der Industrie von Interesse sein. Beide Gebiete demonstrieren besonders anschaulich, mit welchem Tempo der Verlust wissenscha[tZicher Konkurrenzfähigkeit zum Verlust industrieZZer Wettbewerbs fähigkeit führen kann: die Grund lagenforschung wurde vor ca. 10 Jahren in den USA begonnen [3] und von der deutschen Informatik weitgehend ignoriert.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 65,39 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 terminati…on 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.
- Hardcover
Anbieter: Buchmarie, Darmstadt, DeutschlandBuchmarie
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 77,60
EUR 42,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Good. Cover leicht verschmutzt. Buchschnitt leicht verschmutzt. Ehemaliges Bibliotheksexemplar. Mit Bibliotheksstempel und Aufkleber am Buchrücken. Als übereignet gekennzeichnet.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Artificial Intelligence and Soft Computing - ICAISC 2004 | 7th International Conference Zakopane, Poland, June 7-11, 2004 Proceedings | Leszek Rutkowski (u. a.) | Taschenbuch | 2 Taschenbücher | Englisch | 2004 | Springer | EAN 9783540221234 | Verantwortliche Person für die EU: Springer Verlag GmbH, Ti…ergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Cognitive Systems | Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers | Ruqian Lu (u. a.) | Taschenbuch | x | Englisch | 2007 | Springer | EAN 9783540709336 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[do…t]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. GWAI-81 | German Workshop on Artificial Intelligence Bad Honnef, January 26-31, 1981 | Jörg Siekmann | Taschenbuch | xii | Englisch | 1981 | Springer | EAN 9783540108597 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]…com | Anbieter: preigu.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,49
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,89
EUR 69,46 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the 7th Conference on Arti cial Intelligence and Soft Computing, ICAISC2004, held in Zakopane, Poland, June 7 11, 2004. The conference was organized by the Polish Neural Network Society in cooperation with t…he Department of Computer Engineering at the Tech- calUniversityofCzesto chowa, WSHE University in L od z and IEEE Neural Networks Society. The previous conferences took place in Kule (1994), Szczyrk (1996), Kule (1997) and Zakopane (1999, 2000, 2002) and attracted a large number of papers and internationally recognized speakers: Prof. Lot A. Zadeh, Prof. RobertMarks,Prof. EnriqueRuspini,Prof. Zdzis lawBubnicki,Prof. Jacek Zurada, Prof. Shun-ichi Amari, Prof. Kaoru Hirota, Prof. Ryszard Tadeusiewicz, Prof. Shiro Usui, Prof. W lodzis law Duch, Prof. Erkki Oja, Prof. Syozo Yasui, Prof. Witold Pedrycz, Prof. Janusz Kacprzyk, Prof. Laszlo T. Koczy, Prof. Soo- Young Lee and Prof. Daniel Amit. The aim of this conference is to build a bridge between traditional arti cial intelligence techniques and recently developed soft computing techniques. It was pointed out by Prof. Lot A. Zadeh that Soft Computing (SC) is a coalition of methodologies which are oriented toward the conception and design of information/intelligent systems. The principal m- bers of the coalition are: fuzzy logic (FL), neurocomputing (NC), evolutionary computing (EC), probabilistic computing (PC), chaotic computing (CC), and machine learning (ML). The constituent methodologies of SC are, for the most part, complementary and synergisticrather than competitive . Thisvolumep- sents both traditional arti cial intelligence methods and soft computing tech- ques presented in 14 parts: 1.
- Hardcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 137,79
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
