Ergebnisse filtern
Fachgebiet
Medium
  • 103
Erscheinungsjahr
  • 2
  • 5
  • 6
  • 13
  • 14
  • 9
  • 1
  • 11
  • 4
  • 4
  • 7
  • 5
  • 1
  • 5
  • 2
  • 1
  • 1
  • 3
  • 2
  • 5
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 6
  • 93
  • 2
  • 2
Preis
  • 81
  • 22
Sprachen
  • 103
  • 1
Verfügbarkeit
  • 102
  • 1
Katalog
  • 103
  • 4
103  Treffer  für „Lecture Notes in Artificial Intelligence“
    Schumacher | Objective Coordination in Multi-Agent System Engineering | Buch | Sack Fachmedien

    Schumacher Objective Coordination in Multi-Agent System Engineering

    Design and Implementation
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41982-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lambrix | Part-Whole Reasoning in an Object-Centered Framework | Buch | Sack Fachmedien

    Lambrix Part-Whole Reasoning in an Object-Centered Framework

    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67225-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salzer / Caferra | Automated Deduction in Classical and Non-Classical Logics | Buch | Sack Fachmedien

    Salzer / Caferra Automated Deduction in Classical and Non-Classical Logics

    Selected Papers
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67190-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kakas / Sadri | Computational Logic: Logic Programming and Beyond | Buch | Sack Fachmedien

    Kakas / Sadri Computational Logic: Logic Programming and Beyond

    Essays in Honour of Robert A. Kowalski, Part II
    2002
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-43960-8
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Voronkov / Parigot | Logic for Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov / Parigot Logic for Programming and Automated Reasoning

    7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41285-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Winikoff / Son | Declarative Agent Languages and Technologies V | Buch | Sack Fachmedien

    Baldoni / Winikoff / Son Declarative Agent Languages and Technologies V

    5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77563-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhong / Suzuki / Ras | Foundations of Intelligent Systems | Buch | Sack Fachmedien

    Zhong / Suzuki / Ras Foundations of Intelligent Systems

    14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20256-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esposito / Semeraro / Ras | Foundations of Intelligent Systems | Buch | Sack Fachmedien

    Esposito / Semeraro / Ras Foundations of Intelligent Systems

    16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45764-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furukawa / Fujisaki / Tanaka | Logic Programming '88 | Buch | Sack Fachmedien

    Furukawa / Fujisaki / Tanaka Logic Programming '88

    Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51564-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Furbach | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Nerode / Furbach Logic Programming and Nonmonotonic Reasoning

    Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63255-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Loog / Heutte | Advanced Intelligent Computing Theories and Applications | Buch | Sack Fachmedien

    Huang / Loog / Heutte Advanced Intelligent Computing Theories and Applications

    Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74201-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ringwood / Huntbach | Agent-Oriented Programming | Buch | Sack Fachmedien

    Ringwood / Huntbach Agent-Oriented Programming

    From Prolog to Guarded Definite Clauses
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66683-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Rao / Singh | Intelligent Agents V: Agents Theories, Architectures, and Languages | Buch | Sack Fachmedien

    Müller / Rao / Singh Intelligent Agents V: Agents Theories, Architectures, and Languages

    5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65713-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doshita / Nishida / Furukawa | Algorithmic Learning Theory - ALT '92 | Buch | Sack Fachmedien

    Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92

    Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vieira / Quaresma / Dias | Computational Processing of the Portuguese Language | Buch | Sack Fachmedien

    Vieira / Quaresma / Dias Computational Processing of the Portuguese Language

    7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34045-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gentile / Bshouty | Learning Theory | Buch | Sack Fachmedien

    Gentile / Bshouty Learning Theory

    20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72925-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivetti | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Olivetti Automated Reasoning with Analytic Tableaux and Related Methods

    16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73098-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schärfe / Ohrstrom / Hitzler | Conceptual Structures: Inspiration and Application | Buch | Sack Fachmedien

    Schärfe / Ohrstrom / Hitzler Conceptual Structures: Inspiration and Application

    14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35893-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yamamoto / Horváth | Inductive Logic Programming | Buch | Sack Fachmedien

    Yamamoto / Horváth Inductive Logic Programming

    13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganzinger | Automated Deduction - CADE-16 | Buch | Sack Fachmedien

    Ganzinger Automated Deduction - CADE-16

    16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66222-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plümer | Termination Proofs for Logic Programs | Buch | Sack Fachmedien

    Plümer Termination Proofs for Logic Programs

    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52837-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yokoo / Yuan | Intelligent Agents: Specification, Modeling, and Application | Buch | Sack Fachmedien

    Yokoo / Yuan Intelligent Agents: Specification, Modeling, and Application

    4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42434-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernmüller / Egly | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Fernmüller / Egly Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43929-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular