Ergebnisse filtern
Fachgebiet
Medium
  • 43
Erscheinungsjahr
  • 2
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 5
  • 2
  • 1
Autoren
  • 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
  • 2
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
Verlag
  • 43
Preis
  • 2
  • 33
  • 8
Sprachen
  • 43
Verfügbarkeit
  • 43
Katalog
  • 43
  • 1

Mathematik Allgemein

43  Treffer  für „Lecture Notes in Artificial Intelligence“
    Ralescu / Shanahan | Fuzzy Logic in Artificial Intelligence | Buch | Sack Fachmedien

    Ralescu / Shanahan Fuzzy Logic in Artificial Intelligence

    IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66374-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ralescu | Fuzzy Logic in Artificial Intelligence | Buch | Sack Fachmedien

    Ralescu Fuzzy Logic in Artificial Intelligence

    IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58409-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jorrand / Kelemen | Fundamentals of Artificial Intelligence Research | Buch | Sack Fachmedien

    Jorrand / Kelemen Fundamentals of Artificial Intelligence Research

    International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54507-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Narukawa / Inuiguchi | Modeling Decisions for Artificial Intelligence | Buch | Sack Fachmedien

    Narukawa / Inuiguchi Modeling Decisions for Artificial Intelligence

    6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04819-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martin / Ralescu | Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems | Buch | Sack Fachmedien

    Martin / Ralescu Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems

    IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62474-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Belli / Radermacher | Industrial and Engineering Applications of Artificial Intelligence and Expert Systems | Buch | Sack Fachmedien

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

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

    Comyn / Fuchs / Ratcliffe Logic Programming in Action

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

    Eijck Logics in AI

    European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53686-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussain / Zhao / Jiang | Advances in Brain Inspired Cognitive Systems | Buch | Sack Fachmedien

    Hussain / Zhao / Jiang Advances in Brain Inspired Cognitive Systems

    14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-962884-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussain / Zhao / Jiang | Advances in Brain Inspired Cognitive Systems | Buch | Sack Fachmedien

    Hussain / Zhao / 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
    ISBN: 978-981-962881-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ziarko / Yao | Rough Sets and Current Trends in Computing | Buch | Sack Fachmedien

    Ziarko / Yao Rough Sets and Current Trends in Computing

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

    McCune / Padmanabhan Automated Deduction in Equational Logic and Cubic Curves

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61398-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhong / Ohsuga | New Directions in Rough Sets, Data Mining, and Granular-Soft Computing | Buch | Sack Fachmedien

    Zhong / Ohsuga New Directions in Rough Sets, Data Mining, and Granular-Soft Computing

    7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66645-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka / Jantke / Schmitt | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Brewka / Jantke / Schmitt Nonmonotonic and Inductive Logic

    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56433-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pearce / Wansing | Nonclassical Logics and Information Processing | Buch | Sack Fachmedien

    Pearce / Wansing Nonclassical Logics and Information Processing

    International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55745-6
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marek / Nerode / Truszcynski | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Marek / Nerode / Truszcynski Logic Programming and Nonmonotonic Reasoning

    Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59487-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Ohlbach | Practical Reasoning | Buch | Sack Fachmedien

    Gabbay / Ohlbach Practical Reasoning

    International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61313-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bundy | Automated Deduction - CADE-12 | Buch | Sack Fachmedien

    Bundy Automated Deduction - CADE-12

    12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58156-7
    Medium: Buch
    53,49 € (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
    Furuhashi / Uchikawa | Fuzzy Logic, Neural Networks, and Evolutionary Computation | Buch | Sack Fachmedien

    Furuhashi / Uchikawa Fuzzy Logic, Neural Networks, and Evolutionary Computation

    IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61988-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner / Hähnle / Posegga | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

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

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

    Erdem / Lin / Schaub Logic Programming and Nonmonotonic Reasoning

    10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04237-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf | Term Indexing | Buch | Sack Fachmedien

    Graf Term Indexing

    1995
    Verlag: Springer
    ISBN: 978-3-540-61040-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (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
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Kohlhase Mathematical Knowledge Management

    4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31430-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaiser | Logic and Games on Automatic Structures | Buch | Sack Fachmedien

    Kaiser Logic and Games on Automatic Structures

    Playing with Quantifiers and Decompositions
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22806-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt / Sexton / Davenport | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Watt / Sexton / Davenport Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08433-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner / Ringeissen | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Kirchner / Ringeissen Frontiers of Combining Systems

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

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

    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56732-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kauers / Kerber / Miner | Towards Mechanized Mathematical Assistants | Buch | Sack Fachmedien

    Kauers / Kerber / Miner Towards Mechanized Mathematical Assistants

    14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73083-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gore / Leitsch / Nipkow | Automated Reasoning | Buch | Sack Fachmedien

    Gore / Leitsch / Nipkow Automated Reasoning

    First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42254-9
    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
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov Logic Programming and Automated Reasoning

    4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56944-2
    Medium: Buch
    53,49 € (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

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51705-4
    Medium: Buch
    37,44 € (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
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21043-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferré / Rudolph | Formal Concept Analysis | Buch | Sack Fachmedien

    Ferré / Rudolph Formal Concept Analysis

    7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01814-5
    Medium: Buch
    53,49 € (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
    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
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20607-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miglioli / Moscato / Mundici | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

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

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61208-7
    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

    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56734-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blackburn / van Ditmarsch / Manzano | Tools for Teaching Logic | Buch | Sack Fachmedien

    Blackburn / van Ditmarsch / Manzano Tools for Teaching Logic

    Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21349-6
    Medium: Buch
    53,49 € (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
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55727-2
    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