Ergebnisse filtern
Fachgebiet
Medium
  • 1376
Erscheinungsjahr
  • 72
  • 54
  • 72
  • 42
  • 47
  • 48
  • 50
  • 39
  • 50
  • 49
  • 41
  • 55
  • 56
  • 49
  • 51
  • 54
  • 59
  • 46
  • 50
  • 50
  • 50
  • 32
  • 31
  • 26
  • 29
  • 30
  • 28
  • 20
  • 18
  • 12
  • 10
  • 16
  • 9
  • 11
  • 10
  • 6
  • 3
  • 1
Autoren
  • 2
  • 5
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 12
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 6
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 4
  • 2
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 3
  • 1
  • 2
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 5
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 8
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 6
  • 2
  • 3
  • 3
  • 6
  • 5
  • 3
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 11
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 4
  • 13
  • 3
  • 4
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 13
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 10
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 4
  • 2
  • 11
  • 7
  • 3
  • 2
  • 2
  • 8
  • 3
  • 3
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 8
  • 6
  • 5
  • 3
  • 6
  • 2
  • 2
  • 17
  • 4
  • 2
  • 3
  • 5
  • 2
  • 6
  • 8
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 6
  • 3
  • 6
  • 2
  • 6
  • 7
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 3
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 9
  • 2
  • 2
  • 12
  • 2
  • 3
  • 3
  • 4
  • 3
  • 6
  • 6
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 4
  • 3
  • 6
  • 6
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 8
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 15
  • 2
  • 4
  • 3
  • 12
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 8
  • 3
  • 2
  • 5
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 7
  • 6
  • 3
  • 4
  • 7
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 6
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 2
  • 9
  • 4
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 26
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 4
  • 2
  • 9
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 12
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 2
  • 5
  • 5
  • 2
  • 8
  • 15
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 3
  • 2
  • 11
  • 13
  • 3
  • 2
  • 13
  • 3
  • 2
  • 9
  • 2
  • 4
  • 6
  • 3
  • 2
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 15
  • 2
  • 3
  • 5
  • 2
  • 12
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 1
  • 2
  • 15
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 7
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 16
  • 16
  • 5
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 3
  • 6
  • 6
  • 2
  • 9
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 3
  • 2
  • 2
  • 7
  • 4
  • 4
  • 2
  • 11
  • 4
  • 2
  • 4
  • 5
  • 2
  • 2
  • 3
  • 4
  • 4
  • 13
  • 3
Verlag
  • 1368
  • 8
Preis
  • 47
  • 1044
  • 285
Sprachen
  • 1376
  • 1
Verfügbarkeit
  • 1375
  • 1
Katalog
  • 1376
  • 87
1.376  Treffer  für „Lecture Notes in Artificial Intelligence“
    Calvaresi / Najjar / Omicini | Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems | Buch | Sack Fachmedien

    Calvaresi / Najjar / Omicini Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

    7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19-20, 2025, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01398-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Herzig / Luo / Pardo | Logic and Argumentation | Buch | Sack Fachmedien

    Herzig / Luo / Pardo Logic and Argumentation

    5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40874-8
    Medium: Buch
    69,54 € (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
    Ghilardi / Sebastiani | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Ghilardi / Sebastiani Frontiers of Combining Systems

    7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04221-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amtrup | Incremental Speech Translation | Buch | Sack Fachmedien

    Amtrup Incremental Speech Translation

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66753-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tuci / Giagkos / Wilson | From Animals to Animats 14 | Buch | Sack Fachmedien

    Tuci / Giagkos / Wilson From Animals to Animats 14

    14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-43487-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ekštein / Konopík / Pražák | Text, Speech, and Dialogue | Buch | Sack Fachmedien

    Ekštein / Konopík / Pražák Text, Speech, and Dialogue

    28th International Conference, TSD 2025, Erlangen, Germany, August 25-28, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-02547-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dai | Learning and Reasoning | Buch | Sack Fachmedien

    Dai Learning and Reasoning

    4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-09086-7
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nardin / Mehryar | Multi-Agent-Based Simulation XXIV | Buch | Sack Fachmedien

    Nardin / Mehryar Multi-Agent-Based Simulation XXIV

    24th International Workshop, MABS 2023, London, UK, May 29 - June 2, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-61033-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raedt | Inductive Logic Programming | Buch | Sack Fachmedien

    Raedt Inductive Logic Programming

    19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13839-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sichman / Antunes | Multi-Agent-Based Simulation VI | Buch | Sack Fachmedien

    Sichman / Antunes Multi-Agent-Based Simulation VI

    International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33380-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brézillon / Blackburn / Dapoigny | Modeling and Using Context | Buch | Sack Fachmedien

    Brézillon / Blackburn / Dapoigny Modeling and Using Context

    8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40971-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen / Tojo / Trawinski | Intelligent Information and Database Systems | Buch | Sack Fachmedien

    Nguyen / Tojo / Trawinski Intelligent Information and Database Systems

    9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-54429-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorodetsky / Liu / Skormin | Autonomous Intelligent Systems: Agents and Data Mining | Buch | Sack Fachmedien

    Gorodetsky / Liu / Skormin Autonomous Intelligent Systems: Agents and Data Mining

    International Workshop, AIS-ADM 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26164-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmorrow / Fidopiastis | Augmented Cognition | Buch | Sack Fachmedien

    Schmorrow / Fidopiastis Augmented Cognition

    19th International Conference, AC 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93726-2
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pedreschi / Monreale / Guidotti | Discovery Science | Buch | Sack Fachmedien

    Pedreschi / Monreale / Guidotti Discovery Science

    27th International Conference, DS 2024, Pisa, Italy, October 14-16, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78976-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veloso / Pagello / Kitano | RoboCup-99: Robot Soccer World Cup III | Buch | Sack Fachmedien

    Veloso / Pagello / Kitano RoboCup-99: Robot Soccer World Cup III

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41043-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Chen / Zhao | Knowledge Science, Engineering and Management | Buch | Sack Fachmedien

    Cao / Chen / Zhao Knowledge Science, Engineering and Management

    17th International Conference, KSEM 2024, Birmingham, UK, August 16-18, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-5494-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Hussain | Intelligent Computing Methodologies | Buch | Sack Fachmedien

    Huang / Hussain Intelligent Computing Methodologies

    15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part III
    Erscheinungsjahr 2019
    Verlag: Springer
    ISBN: 978-3-030-26765-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richards / Kang | Knowledge Acquisition: Approaches, Algorithms and Applications | Buch | Sack Fachmedien

    Richards / Kang Knowledge Acquisition: Approaches, Algorithms and Applications

    Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01714-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alboul / Damian / Aitken | Towards Autonomous Robotic Systems | Buch | Sack Fachmedien

    Alboul / Damian / Aitken Towards Autonomous Robotic Systems

    17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40378-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivetti / Tiwari | Automated Reasoning | Buch | Sack Fachmedien

    Olivetti / Tiwari Automated Reasoning

    8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40228-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerrito / Popescu | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Cerrito / Popescu Automated Reasoning with Analytic Tableaux and Related Methods

    28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-29025-2
    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
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jamnik / Uesaka / Elzer Schwartz | Diagrammatic Representation and Inference | Buch | Sack Fachmedien

    Jamnik / Uesaka / Elzer Schwartz Diagrammatic Representation and Inference

    9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42332-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular