Ergebnisse filtern
Fachgebiet
Medium
  • 36
Erscheinungsjahr
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 1
Autoren
  • 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
  • 2
  • 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
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 3
  • 32
  • 1
Preis
  • 1
  • 28
  • 7
Sprachen
  • 36
Verfügbarkeit
  • 36
Katalog
  • 36
  • 1

Mathematik Allgemein

36  Treffer  für „Lecture Notes in Artificial Intelligence“
    Bläsius / Rollinger / Hedtstück | Sorts and Types in Artificial Intelligence | Buch | Sack Fachmedien

    Bläsius / Rollinger / Hedtstück Sorts and Types in Artificial Intelligence

    Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52337-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Inuiguchi / Narukawa | Modeling Decisions for Artificial Intelligence | Buch | Sack Fachmedien

    Inuiguchi / Narukawa Modeling Decisions for Artificial Intelligence

    6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04819-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lukose / Zhang | Distributed Artificial Intelligence: Architecture and Modelling | Buch | Sack Fachmedien

    Lukose / Zhang Distributed Artificial Intelligence: Architecture and Modelling

    First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61314-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Radermacher / Belli | Industrial and Engineering Applications of Artificial Intelligence and Expert Systems | Buch | Sack Fachmedien

    Radermacher / Belli Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

    5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55601-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comyn / Ratcliffe / Fuchs | Logic Programming in Action | Buch | Sack Fachmedien

    Comyn / Ratcliffe / Fuchs Logic Programming in Action

    Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55930-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner | Theory Reasoning in Connection Calculi | Buch | Sack Fachmedien

    Baumgartner Theory Reasoning in Connection Calculi

    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65509-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussain / Yang / Jiang | Advances in Brain Inspired Cognitive Systems | Buch | Sack Fachmedien

    Hussain / Yang / Jiang Advances in Brain Inspired Cognitive Systems

    14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer Nature Singapore
    ISBN: 978-981-962881-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Ziarko | Rough Sets and Current Trends in Computing | Buch | Sack Fachmedien

    Yao / Ziarko Rough Sets and Current Trends in Computing

    Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43074-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padmanabhan / McCune | Automated Deduction in Equational Logic and Cubic Curves | Buch | Sack Fachmedien

    Padmanabhan / McCune Automated Deduction in Equational Logic and Cubic Curves

    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61398-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furuhashi | Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms | Buch | Sack Fachmedien

    Furuhashi Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms

    IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9 - 10, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60607-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stephan / Hutter | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Stephan / Hutter Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka / Schmitt / Jantke | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Brewka / Schmitt / Jantke Nonmonotonic and Inductive Logic

    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56433-1
    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
    Schlechta | Nonmonotonic Logics | Buch | Sack Fachmedien

    Schlechta Nonmonotonic Logics

    Basic Concepts, Results, and Techniques
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62482-0
    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
    Voronkov | Logic Programming | Buch | Sack Fachmedien

    Voronkov Logic Programming

    First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakai / Chakraborty / Hassanien | Rough Sets, Fuzzy Sets, Data Mining and Granular Computing | Buch | Sack Fachmedien

    Sakai / Chakraborty / Hassanien Rough Sets, Fuzzy Sets, Data Mining and Granular Computing

    12th International Conference, RSFDGrC 2009, Delhi, India, December 16-18, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10645-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov Logic Programming and Automated Reasoning

    International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55727-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wansing | The Logic of Information Structures | Buch | Sack Fachmedien

    Wansing The Logic of Information Structures

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56734-9
    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
    Miglioli / Ornaghi / Moscato | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Miglioli / Ornaghi / Moscato Theorem Proving with Analytic Tableaux and Related Methods

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61208-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dau | The Logic System of Concept Graphs with Negation | Buch | Sack Fachmedien

    Dau The Logic System of Concept Graphs with Negation

    And Its Relationship to Predicate Logic
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20607-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farmer / Borwein | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Farmer / Borwein Mathematical Knowledge Management

    5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37104-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ringeissen / Kirchner | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Ringeissen / Kirchner Frontiers of Combining Systems

    Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67281-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fermüller / Zamov / Leitsch | Resolution Methods for the Decision Problem | Buch | Sack Fachmedien

    Fermüller / Zamov / Leitsch Resolution Methods for the Decision Problem

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56732-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