Ergebnisse filtern
Fachgebiet
Medium
  • 1394
Erscheinungsjahr
  • 5
  • 70
  • 66
  • 62
  • 43
  • 47
  • 43
  • 44
  • 47
  • 55
  • 49
  • 46
  • 56
  • 60
  • 55
  • 46
  • 56
  • 40
  • 49
  • 50
  • 45
  • 52
  • 37
  • 35
  • 34
  • 31
  • 27
  • 24
  • 21
  • 18
  • 17
  • 13
  • 16
  • 6
  • 9
  • 13
  • 3
  • 2
  • 2
Autoren
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 14
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 7
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 6
  • 8
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 9
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 8
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 6
  • 7
  • 5
  • 5
  • 3
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 7
  • 3
  • 6
  • 2
  • 2
  • 8
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 2
  • 2
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 15
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 15
  • 2
  • 2
  • 8
  • 4
  • 10
  • 2
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 5
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 5
  • 3
  • 3
  • 4
  • 3
  • 2
  • 11
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 18
  • 7
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 10
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 12
  • 6
  • 2
  • 4
  • 4
  • 2
  • 4
  • 16
  • 3
  • 5
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 7
  • 7
  • 3
  • 2
  • 2
  • 5
  • 16
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 15
  • 3
  • 2
  • 2
  • 2
  • 16
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 9
  • 2
  • 3
  • 2
  • 2
  • 5
  • 11
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 6
  • 2
  • 2
  • 14
  • 15
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 8
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 5
  • 8
  • 2
  • 7
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 5
  • 4
  • 5
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 8
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 14
Verlag
  • 1387
  • 7
Preis
  • 50
  • 1080
  • 264
Sprachen
  • 1394
  • 1
Verfügbarkeit
  • 1392
  • 2
Katalog
  • 1394
  • 94
1.394  Treffer  für „Lecture Notes in Artificial Intelligence“
    Motoda / Wu / Cao | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Motoda / Wu / Cao Advanced Data Mining and Applications

    9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-53916-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Le / Swiatek / Nguyen | Intelligent Information and Database Systems | Buch | Sack Fachmedien

    Le / Swiatek / Nguyen Intelligent Information and Database Systems

    Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12144-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Timm / Guttmann | Multiagent System Technologies | Buch | Sack Fachmedien

    Timm / Guttmann Multiagent System Technologies

    10th German Conference, MATES 2012, Trier Germany, October 10-12, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33689-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atzmueller / Chin / Helic | Modeling and Mining Ubiquitous Social Media | Buch | Sack Fachmedien

    Atzmueller / Chin / Helic Modeling and Mining Ubiquitous Social Media

    International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33683-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosner / Fuchs | Controlled Natural Language | Buch | Sack Fachmedien

    Rosner / Fuchs Controlled Natural Language

    Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31174-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Liu / Chen | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Zhang / Liu / Chen Intelligent Robotics and Applications

    7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13962-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harris / Li | Engineering Psychology and Cognitive Ergonomics | Buch | Sack Fachmedien

    Harris / Li Engineering Psychology and Cognitive Ergonomics

    22nd International Conference, EPCE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93717-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Tronçon | Ludics, Dialogue and Interaction | Buch | Sack Fachmedien

    Lecomte / Tronçon Ludics, Dialogue and Interaction

    PRELUDE Project — 2006-2009. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19210-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Feng / Zhong | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Cao / Feng / Zhong Advanced Data Mining and Applications

    6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-17315-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Ramanna / Wang | Rough Set and Knowledge Technology | Buch | Sack Fachmedien

    Yao / Ramanna / Wang Rough Set and Knowledge Technology

    6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24424-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paes / Verri | Intelligent Systems | Buch | Sack Fachmedien

    Paes / Verri Intelligent Systems

    34th Brazilian Conference, BRACIS 2024, Belém do Pará, Brazil, November 17-21, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-79031-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brusilovsky / Corbett / de Rosis | User Modeling 2003 | Buch | Sack Fachmedien

    Brusilovsky / Corbett / de Rosis User Modeling 2003

    9th International Conference, UM 2003, Johnstown, PA, USA, June 22-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40381-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Barley | Intelligent Agents and Multi-Agent Systems | Buch | Sack Fachmedien

    Lee / Barley Intelligent Agents and Multi-Agent Systems

    6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings
    1990
    Verlag: Springer
    ISBN: 978-3-540-20460-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffens | Machine Translation and the Lexicon | Buch | Sack Fachmedien

    Steffens Machine Translation and the Lexicon

    Third International EAMT Workshop, Heidelberg, Germany, April 26-28, 1993. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59040-8
    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
    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
    Sojka / Kopecek / Pala | Text, Speech and Dialogue | Buch | Sack Fachmedien

    Sojka / Kopecek / Pala Text, Speech and Dialogue

    Third International Workshop, TSD 2000 Brno, Czech Republic, September 13-16, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Konrad | Model Generation for Natural Language Interpretation and Analysis | Buch | Sack Fachmedien

    Konrad Model Generation for Natural Language Interpretation and Analysis

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21069-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Negoita | Knowledge-Based Intelligent Information and Engineering Systems | Buch | Sack Fachmedien

    Negoita Knowledge-Based Intelligent Information and Engineering Systems

    8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004, Proceedings, Part II
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23206-3
    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
    Furbach / Shankar | Automated Reasoning | Buch | Sack Fachmedien

    Furbach / Shankar Automated Reasoning

    Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37187-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakaibara / Kobayashi / Sato | Grammatical Inference: Algorithms and Applications | Buch | Sack Fachmedien

    Sakaibara / Kobayashi / Sato Grammatical Inference: Algorithms and Applications

    8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45264-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Lingras / Wu | Rough Sets and Knowledge Technology | Buch | Sack Fachmedien

    Yao / Lingras / Wu Rough Sets and Knowledge Technology

    Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72457-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kokinov / Richardson / Roth-Berghofer | Modeling and Using Context | Buch | Sack Fachmedien

    Kokinov / Richardson / Roth-Berghofer Modeling and Using Context

    6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74254-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivetti | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Olivetti Automated Reasoning with Analytic Tableaux and Related Methods

    16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73098-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