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

Mathematik

82  Treffer  für „Lecture Notes in Artificial Intelligence“
    Narukawa | Modeling Decisions for Artificial Intelligence | Buch | Sack Fachmedien

    Narukawa Modeling Decisions for Artificial Intelligence

    5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-88268-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shanahan / Ralescu | Fuzzy Logic in Artificial Intelligence | Buch | Sack Fachmedien

    Shanahan / Ralescu Fuzzy Logic in Artificial Intelligence

    IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers
    1999
    Verlag: Springer Berlin Heidelberg
    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
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58409-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roanes-Lozano / Campbell | Artificial Intelligence and Symbolic Computation | Buch | Sack Fachmedien

    Roanes-Lozano / Campbell Artificial Intelligence and Symbolic Computation

    International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42071-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plaza / Calmet | Artificial Intelligence and Symbolic Computation | Buch | Sack Fachmedien

    Plaza / Calmet Artificial Intelligence and Symbolic Computation

    International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64960-1
    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
    Moran / Moreno / Merelo | Advances in Artificial Life | Buch | Sack Fachmedien

    Moran / Moreno / Merelo Advances in Artificial Life

    Third European Conference on Artificial Life, Granada, Spain, June 4 - 6, 1995 Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59496-3
    Medium: Buch
    106,99 € (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
    Werner / Castelfranchi | Artificial Social Systems | Buch | Sack Fachmedien

    Werner / Castelfranchi Artificial Social Systems

    4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29 - 31, 1992. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58266-3
    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

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60058-9
    Medium: Buch
    53,49 € (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
    Bosse / Geller / Jonker | Multi-Agent-Based Simulation XI | Buch | Sack Fachmedien

    Bosse / Geller / Jonker Multi-Agent-Based Simulation XI

    International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18344-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ram / Wiratunga | Case-Based Reasoning Research and Development | Buch | Sack Fachmedien

    Ram / Wiratunga Case-Based Reasoning Research and Development

    19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23290-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Walser | Integer Optimization by Local Search | Buch | Sack Fachmedien

    Walser Integer Optimization by Local Search

    A Domain-Independent Approach
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66367-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Walsh | Algorithmic Decision Theory | Buch | Sack Fachmedien

    Walsh Algorithmic Decision Theory

    4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23113-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kinny / Hsu / Governatori | Agents in Principle, Agents in Practice | Buch | Sack Fachmedien

    Kinny / Hsu / Governatori Agents in Principle, Agents in Practice

    14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25043-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Pearce | Logics in AI | Buch | Sack Fachmedien

    Wagner / Pearce Logics in AI

    European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55887-3
    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
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53686-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nouwen / van Rooij / Sauerland | Vagueness in Communication | Buch | Sack Fachmedien

    Nouwen / van Rooij / Sauerland Vagueness in Communication

    International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18445-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Yang / Wang | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Gao / Yang / Wang Automated Deduction in Geometry

    Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66672-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Richter-Gebert | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Wang / Richter-Gebert Automated Deduction in Geometry

    Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42598-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Wang Automated Deduction in Geometry

    International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64297-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schreck / Narboux / Richter-Gebert | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Schreck / Narboux / Richter-Gebert Automated Deduction in Geometry

    8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25069-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quaresma / Botana | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Quaresma / Botana Automated Deduction in Geometry

    10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21361-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sturm / Zengler | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Sturm / Zengler Automated Deduction in Geometry

    7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21045-7
    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
    Yust / Burgoyne / Wild | Mathematics and Computation in Music | Buch | Sack Fachmedien

    Yust / Burgoyne / Wild Mathematics and Computation in Music

    4th International Conference, MCM 2013, Montreal, Canada, June 12-14, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39356-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montiel / Agustín-Aquino / Gomez-Martin | Mathematics and Computation in Music | Buch | Sack Fachmedien

    Montiel / Agustín-Aquino / Gomez-Martin Mathematics and Computation in Music

    7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-21391-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agustín-Aquino / Montiel / Lluis-Puebla | Mathematics and Computation in Music | Buch | Sack Fachmedien

    Agustín-Aquino / Montiel / Lluis-Puebla Mathematics and Computation in Music

    6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-71826-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collins / Volk / Meredith | Mathematics and Computation in Music | Buch | Sack Fachmedien

    Collins / Volk / Meredith Mathematics and Computation in Music

    5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-20602-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ren / Hussain / Liao | Advances in Brain Inspired Cognitive Systems | Buch | Sack Fachmedien

    Ren / Hussain / Liao Advances in Brain Inspired Cognitive Systems

    13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
    2024
    Verlag: Springer Nature Singapore
    ISBN: 978-981-97-1416-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Liu / Yu | Advances in Knowledge Discovery and Data Mining | Buch | Sack Fachmedien

    Cheng / Liu / Yu Advances in Knowledge Discovery and Data Mining

    6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43704-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pöhlmann / Weichselberger | A Methodology for Uncertainty in Knowledge-Based Systems | Buch | Sack Fachmedien

    Pöhlmann / Weichselberger A Methodology for Uncertainty in Knowledge-Based Systems

    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52336-9
    Medium: Buch
    53,49 € (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
    Ohsuga / Zhong | New Directions in Rough Sets, Data Mining, and Granular-Soft Computing | Buch | Sack Fachmedien

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

    7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66645-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benz / Ebert / Jäger | Language, Games, and Evolution | Buch | Sack Fachmedien

    Benz / Ebert / Jäger Language, Games, and Evolution

    Trends in Current Research on Language and Game Theory
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18005-7
    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
    Schmidt / Kuznetsov | Formal Concept Analysis | Buch | Sack Fachmedien

    Schmidt / Kuznetsov Formal Concept Analysis

    5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70828-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nareyek | Constraint-Based Agents | Buch | Sack Fachmedien

    Nareyek Constraint-Based Agents

    An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42258-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marek / Truszcynski / Nerode | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Marek / Truszcynski / Nerode Logic Programming and Nonmonotonic Reasoning

    Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59487-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davenport / Farmer / Rabe | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Davenport / Farmer / Rabe Intelligent Computer Mathematics

    18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22672-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohlbach / Gabbay | Practical Reasoning | Buch | Sack Fachmedien

    Ohlbach / Gabbay Practical Reasoning

    International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61313-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wansing / Pearce | Nonclassical Logics and Information Processing | Buch | Sack Fachmedien

    Wansing / Pearce Nonclassical Logics and Information Processing

    International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55745-6
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagle / Pfeiffer | Conceptual Structures: Theory and Implementation | Buch | Sack Fachmedien

    Nagle / Pfeiffer Conceptual Structures: Theory and Implementation

    7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57454-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wen / Li / Polkowski | Rough Sets and Knowledge Technology | Buch | Sack Fachmedien

    Wen / Li / Polkowski Rough Sets and Knowledge Technology

    4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02961-5
    Medium: Buch
    106,99 € (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
    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
    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
    Sinha / Amigoni | Autonomous Agents and Multiagent Systems. Best and Visionary Papers | Buch | Sack Fachmedien

    Sinha / Amigoni Autonomous Agents and Multiagent Systems. Best and Visionary Papers

    AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-56254-9
    Medium: Buch
    69,54 € (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
    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
    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
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58216-8
    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
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55727-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Missaoui / Schmid | Formal Concept Analysis | Buch | Sack Fachmedien

    Missaoui / Schmid Formal Concept Analysis

    4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32203-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beklemishev / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Beklemishev / de Queiroz Logic, Language, Information, and Computation

    18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20919-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sichman / David | Multi-Agent-Based Simulation IX | Buch | Sack Fachmedien

    Sichman / David Multi-Agent-Based Simulation IX

    International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-01990-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothe | Algorithmic Decision Theory | Buch | Sack Fachmedien

    Rothe Algorithmic Decision Theory

    5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-67503-9
    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