Ergebnisse filtern
Fachgebiet
Medium
  • 82
Erscheinungsjahr
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 12
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 4
  • 2
  • 2
  • 6
  • 5
  • 5
  • 2
  • 6
  • 3
  • 2
  • 1
Autoren
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 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
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 22
  • 47
  • 8
  • 2
  • 3
Preis
  • 5
  • 63
  • 14
Sprachen
  • 82
Verfügbarkeit
  • 82
Katalog
  • 82
  • 6
82  Treffer  für „Lecture Notes in Artificial Intelligence“
    Galmiche | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Galmiche Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf | Term Indexing | Buch | Sack Fachmedien

    Graf Term Indexing

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61040-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Ohlbach / Kruse | Qualitative and Quantitative Practical Reasoning | Buch | Sack Fachmedien

    Gabbay / Ohlbach / Kruse Qualitative and Quantitative Practical Reasoning

    First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63095-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapur | Automated Deduction - CADE-11 | Buch | Sack Fachmedien

    Kapur Automated Deduction - CADE-11

    11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55602-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McRobbie / Slaney | Automated Deduction - Cade-13 | Buch | Sack Fachmedien

    McRobbie / Slaney Automated Deduction - Cade-13

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61511-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pogodalla / Quatrini / Retoré | Logic and Grammar | Buch | Sack Fachmedien

    Pogodalla / Quatrini / Retoré Logic and Grammar

    Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21489-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohlbach / Gabbay | Temporal Logic | Buch | Sack Fachmedien

    Ohlbach / Gabbay Temporal Logic

    First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58241-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt-Schauß | Computational Aspects of an Order-Sorted Logic with Term Declarations | Buch | Sack Fachmedien

    Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations

    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51705-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bilgic / Kaynak / Baets | Fuzzy Sets and Systems - IFSA 2003 | Buch | Sack Fachmedien

    Bilgic / Kaynak / Baets Fuzzy Sets and Systems - IFSA 2003

    10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40383-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eklund | Concept Lattices | Buch | Sack Fachmedien

    Eklund Concept Lattices

    Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21043-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wermter / Willshaw / Austin | Emergent Neural Computational Architectures Based on Neuroscience | Buch | Sack Fachmedien

    Wermter / Willshaw / Austin Emergent Neural Computational Architectures Based on Neuroscience

    Towards Neuroscience-Inspired Computing
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42363-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsoukias / Rossi | Algorithmic Decision Theory | Buch | Sack Fachmedien

    Tsoukias / Rossi Algorithmic Decision Theory

    First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-04427-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bi / Denoeux / Jousselme | Belief Functions: Theory and Applications | Buch | Sack Fachmedien

    Bi / Denoeux / Jousselme Belief Functions: Theory and Applications

    8th International Conference, BELIEF 2024, Belfast, UK, September 2-4, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-67976-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase / Johansson / Tompa | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kohlhase / Johansson / Tompa Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42546-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pirri / Cialdea Mayer | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Pirri / Cialdea Mayer Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40787-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miller / Benzmüller | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Miller / Benzmüller Intelligent Computer Mathematics

    13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-53517-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Obiedkov / Medina | Formal Concept Analysis | Buch | Sack Fachmedien

    Obiedkov / Medina Formal Concept Analysis

    6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78136-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tepfenhart / Sowa / Dick | Conceptual Structures: Current Practices | Buch | Sack Fachmedien

    Tepfenhart / Sowa / Dick Conceptual Structures: Current Practices

    Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16 - 20, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58328-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner / Posegga / Hähnle | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Baumgartner / Posegga / Hähnle Theorem Proving with Analytic Tableaux and Related Methods

    4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59338-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmitt / Jantke | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Schmitt / Jantke Nonmonotonic and Inductive Logic

    1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54564-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Studer | Natural Language and Logic | Buch | Sack Fachmedien

    Studer Natural Language and Logic

    International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53082-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller | The Design of Intelligent Agents | Buch | Sack Fachmedien

    Müller The Design of Intelligent Agents

    A Layered Approach
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62003-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bürckert | A Resolution Principle for a Logic with Restricted Quantifiers | Buch | Sack Fachmedien

    Bürckert A Resolution Principle for a Logic with Restricted Quantifiers

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55034-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brock / Krichmar | From Animals to Animats 17 | Buch | Sack Fachmedien

    Brock / Krichmar From Animals to Animats 17

    17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-71532-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt / Sexton / Urban | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Watt / Sexton / Urban Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08433-6
    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