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

Mathematik Allgemein

33  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
    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
    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
    Cadoli | Tractable Reasoning in Aritificial Intelligence | Buch | Sack Fachmedien

    Cadoli Tractable Reasoning in Aritificial Intelligence

    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60058-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pearce / Wagner | Logics in AI | Buch | Sack Fachmedien

    Pearce / Wagner Logics in AI

    European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55887-3
    Medium: Buch
    53,49 € (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
    Küsters | Non-Standard Inferences in Description Logics | Buch | Sack Fachmedien

    Küsters Non-Standard Inferences in Description Logics

    From Foundations and Definitions to Algorithms and Analysis
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42397-3
    Medium: Buch
    53,49 € (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
    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
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60607-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doshita / Furukawa / Jantke | Algorithmic Learning Theory - ALT '92 | Buch | Sack Fachmedien

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

    Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borwein / Farmer | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Borwein / Farmer Mathematical Knowledge Management

    5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37104-5
    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
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54333-6
    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
    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
    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
    Gabbay / Ohlbach | Temporal Logic | Buch | Sack Fachmedien

    Gabbay / Ohlbach Temporal Logic

    First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58241-0
    Medium: Buch
    106,99 € (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
    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

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-55034-1
    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
    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
    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
    Glodeanu / Kaytoue / Sacarea | Formal Concept Analysis | Buch | Sack Fachmedien

    Glodeanu / Kaytoue / Sacarea Formal Concept Analysis

    12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07247-0
    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
    Ben Yahia / Mephu Nguifo / Belohlavek | Concept Lattices and Their Applications | Buch | Sack Fachmedien

    Ben Yahia / Mephu Nguifo / Belohlavek Concept Lattices and Their Applications

    Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78920-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jantke / Schmitt | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Jantke / Schmitt Nonmonotonic and Inductive Logic

    1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    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
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53082-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Kruse / Nonnengart | Qualitative and Quantitative Practical Reasoning | Buch | Sack Fachmedien

    Gabbay / Kruse / Nonnengart 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
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63095-1
    Medium: Buch
    106,99 € (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
    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
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55602-2
    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
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thielscher | Challenges for Action Theories | Buch | Sack Fachmedien

    Thielscher Challenges for Action Theories

    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67455-9
    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
    ISBN: 978-3-540-61040-3
    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