Ergebnisse filtern
Fachgebiet
Medium
  • 36
Erscheinungsjahr
  • 1
  • 11
  • 4
  • 7
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 36
Preis
  • 32
  • 4
Sprachen
  • 36
Verfügbarkeit
  • 36
Katalog
  • 36
  • 1
36  Treffer  für „Lecture Notes in Artificial Intelligence“
    Dyckhoff | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Dyckhoff Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67697-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staab | Grading Knowledge | Buch | Sack Fachmedien

    Staab Grading Knowledge

    Extracting Degree Information from Texts
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66934-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamma / Mello | Extensions of Logic Programming | Buch | Sack Fachmedien

    Lamma / Mello Extensions of Logic Programming

    Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56454-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sossai / Chemello | Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Buch | Sack Fachmedien

    Sossai / Chemello Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02905-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouquet / Serafini / Brézillon | Modeling and Using Context | Buch | Sack Fachmedien

    Bouquet / Serafini / Brézillon Modeling and Using Context

    Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66432-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ebert / Jäger / Michaelis | The Mathematics of Language | Buch | Sack Fachmedien

    Ebert / Jäger / Michaelis The Mathematics of Language

    10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-14321-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puppis | Automata for Branching and Layered Temporal Structures | Buch | Sack Fachmedien

    Puppis Automata for Branching and Layered Temporal Structures

    An Investigation into Regularities of Infinite Transition Systems
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11880-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giesl / Hähnle | Automated Reasoning | Buch | Sack Fachmedien

    Giesl / Hähnle Automated Reasoning

    5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14202-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Automated Deduction - CADE-22 | Buch | Sack Fachmedien

    Schmidt Automated Deduction - CADE-22

    22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Endriss | Declarative Agent Languages and Technologies IV | Buch | Sack Fachmedien

    Baldoni / Endriss Declarative Agent Languages and Technologies IV

    4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68959-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    An / Bazzan / Leite | PRIMA 2017: Principles and Practice of Multi-Agent Systems | Buch | Sack Fachmedien

    An / Bazzan / Leite PRIMA 2017: Principles and Practice of Multi-Agent Systems

    20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-69130-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