Ergebnisse filtern
Fachgebiet
Medium
  • 1357
Erscheinungsjahr
  • 3
  • 70
  • 68
  • 71
  • 46
  • 48
  • 44
  • 43
  • 45
  • 47
  • 50
  • 43
  • 51
  • 62
  • 49
  • 44
  • 47
  • 44
  • 44
  • 51
  • 48
  • 44
  • 31
  • 35
  • 34
  • 27
  • 29
  • 25
  • 22
  • 18
  • 13
  • 8
  • 12
  • 9
  • 11
  • 11
  • 4
  • 4
  • 2
Autoren
  • 2
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 11
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 2
  • 5
  • 1
  • 2
  • 2
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 7
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 8
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 1
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 5
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 11
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 6
  • 4
  • 2
  • 2
  • 4
  • 2
  • 12
  • 3
  • 3
  • 2
  • 5
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 8
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 10
  • 4
  • 2
  • 2
  • 6
  • 4
  • 2
  • 15
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 7
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 6
  • 8
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 3
  • 7
  • 7
  • 2
  • 4
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 7
  • 4
  • 11
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 5
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 11
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 10
  • 2
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 29
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 6
  • 5
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 3
  • 3
  • 14
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 6
  • 17
  • 3
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 3
  • 4
  • 2
  • 3
  • 10
  • 3
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 7
  • 4
  • 5
  • 2
  • 3
  • 18
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 15
  • 16
  • 2
  • 2
  • 3
  • 10
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 9
  • 2
  • 3
  • 2
  • 9
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 18
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 5
  • 2
  • 16
  • 16
  • 3
  • 4
  • 5
  • 4
  • 2
  • 6
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 3
  • 2
  • 6
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 5
  • 3
  • 7
  • 6
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 5
  • 6
  • 2
  • 10
  • 7
  • 8
  • 3
  • 7
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 15
  • 2
Verlag
  • 1351
  • 6
Preis
  • 56
  • 1047
  • 254
Sprachen
  • 1357
Verfügbarkeit
  • 1354
  • 3
Katalog
  • 1357
  • 80
1.357  Treffer  für „Lecture Notes in Artificial Intelligence“
    Riaño / Lenz / Reichert | Knowledge Representation for Health Care | Buch | Sack Fachmedien

    Riaño / Lenz / Reichert Knowledge Representation for Health Care

    HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-55013-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faratin / Parkes / Rodríguez-Aguilar | Agent-Mediated Electronic Commerce V | Buch | Sack Fachmedien

    Faratin / Parkes / Rodríguez-Aguilar Agent-Mediated Electronic Commerce V

    Designing Mechanisms and Systems, AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15. 2003, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22674-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lavrac / Lavrac / Gamberger | Machine Learning: ECML 2003 | Buch | Sack Fachmedien

    Lavrac / Lavrac / Gamberger Machine Learning: ECML 2003

    14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20121-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth / Yamamoto | Inductive Logic Programming | Buch | Sack Fachmedien

    Horváth / Yamamoto Inductive Logic Programming

    13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Kubota / Zhu | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Liu / Kubota / Zhu Intelligent Robotics and Applications

    8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22878-5
    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
    ISBN: 978-3-319-67503-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Liu / Zou | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Yang / Liu / Zou Intelligent Robotics and Applications

    16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-981-99-6497-0
    Medium: Buch
    96,29 € (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
    Liu / Nie / Yu | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Liu / Nie / Yu Intelligent Robotics and Applications

    14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-89097-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carette / Dixon / Sacerdoti Coen | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Carette / Dixon / Sacerdoti Coen Intelligent Computer Mathematics

    16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02613-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronzhin / Rigoll / Meshcheryakov | Interactive Collaborative Robotics | Buch | Sack Fachmedien

    Ronzhin / Rigoll / Meshcheryakov Interactive Collaborative Robotics

    Second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66470-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melo / Fang | Autonomous Agents and Multiagent Systems. Best and Visionary Papers | Buch | Sack Fachmedien

    Melo / Fang Autonomous Agents and Multiagent Systems. Best and Visionary Papers

    AAMAS 2022 Workshops, Virtual Event, May 9-13, 2022, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-20178-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Suhartanto / Wang | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Yang / Suhartanto / Wang Advanced Data Mining and Applications

    19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-46660-1
    Medium: Buch
    117,69 € (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
    Klusch / Ossowski / Omicini | Cooperative Information Agents VII | Buch | Sack Fachmedien

    Klusch / Ossowski / Omicini Cooperative Information Agents VII

    7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40798-0
    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
    Baldoni / Endriss / Omicini | Declarative Agent Languages and Technologies III | Buch | Sack Fachmedien

    Baldoni / Endriss / Omicini Declarative Agent Languages and Technologies III

    Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33106-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kraetzschmar | Distributed Reason Maintenance for Multiagent Systems | Buch | Sack Fachmedien

    Kraetzschmar Distributed Reason Maintenance for Multiagent Systems

    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63606-9
    Medium: Buch
    53,49 € (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
    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
    Schärfe / Hitzler / Ohrstrom | Conceptual Structures: Inspiration and Application | Buch | Sack Fachmedien

    Schärfe / Hitzler / Ohrstrom Conceptual Structures: Inspiration and Application

    14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35893-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hölldobler | Foundations of Equational Logic Programming | Buch | Sack Fachmedien

    Hölldobler Foundations of Equational Logic Programming

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51533-3
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berendt / Hotho / Mladenic | Web Mining: From Web to Semantic Web | Buch | Sack Fachmedien

    Berendt / Hotho / Mladenic Web Mining: From Web to Semantic Web

    First European Web Mining Forum, EWMF 2003, Cavtat-Dubrovnik, Croatia, September 22, 2003, Revised Selected and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23258-2
    Medium: Buch
    53,49 € (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
    Cate / Zeevat | Logic, Language, and Computation | Buch | Sack Fachmedien

    Cate / Zeevat Logic, Language, and Computation

    6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75143-4
    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