Ergebnisse filtern
Fachgebiet
Medium
  • 76
Erscheinungsjahr
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 9
  • 1
  • 7
  • 1
  • 2
  • 1
  • 3
  • 6
  • 1
  • 4
  • 3
  • 1
  • 4
  • 3
  • 5
  • 6
  • 4
  • 3
Autoren
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 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
  • 2
  • 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
  • 2
  • 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
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 76
Preis
  • 2
  • 61
  • 13
Sprachen
  • 76
Verfügbarkeit
  • 76
Katalog
  • 76
  • 7
76  Treffer  für „Lecture Notes in Artificial Intelligence“
    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
    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
    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
    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
    Kerber / Carette / Kaliszyk | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kerber / Carette / Kaliszyk Intelligent Computer Mathematics

    International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
    2015
    Verlag: Springer
    ISBN: 978-3-319-20614-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfeiffer / Nagle | Conceptual Structures: Theory and Implementation | Buch | Sack Fachmedien

    Pfeiffer / Nagle Conceptual Structures: Theory and Implementation

    7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57454-5
    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
    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
    Bilgic / Baets / Kaynak | Fuzzy Sets and Systems - IFSA 2003 | Buch | Sack Fachmedien

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

    10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40383-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mineau / Moulin / Sowa | Conceptual Graphs for Knowledge Representation | Buch | Sack Fachmedien

    Mineau / Moulin / Sowa Conceptual Graphs for Knowledge Representation

    First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56979-4
    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
    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
    Wermter / Austin / Willshaw | Emergent Neural Computational Architectures Based on Neuroscience | Buch | Sack Fachmedien

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

    Towards Neuroscience-Inspired Computing
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42363-8
    Medium: Buch
    106,99 € (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
    1994
    Verlag: Springer
    ISBN: 978-3-540-58241-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase / Johansson / Miller | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kohlhase / Johansson / Miller Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42546-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rossi / Tsoukias | Algorithmic Decision Theory | Buch | Sack Fachmedien

    Rossi / Tsoukias 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
    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
    Cialdea Mayer / Pirri | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

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

    International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40787-4
    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
    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
    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
    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
    Croitoru / Rudolph / Wilson | Graph Structures for Knowledge Representation and Reasoning | Buch | Sack Fachmedien

    Croitoru / Rudolph / Wilson Graph Structures for Knowledge Representation and Reasoning

    Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29448-8
    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