Ergebnisse filtern
Fachgebiet
Medium
  • 1250
Erscheinungsjahr
  • 63
  • 65
  • 65
  • 37
  • 59
  • 55
  • 39
  • 46
  • 40
  • 51
  • 39
  • 38
  • 43
  • 40
  • 41
  • 45
  • 42
  • 37
  • 42
  • 46
  • 44
  • 27
  • 31
  • 25
  • 29
  • 25
  • 24
  • 20
  • 18
  • 12
  • 15
  • 12
  • 8
  • 8
  • 14
  • 5
Autoren
  • 2
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 20
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 3
  • 8
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 3
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 13
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 11
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 7
  • 2
  • 4
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 6
  • 7
  • 3
  • 5
  • 2
  • 17
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 9
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 7
  • 7
  • 3
  • 7
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 14
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 13
  • 5
  • 4
  • 13
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 25
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 5
  • 2
  • 3
  • 4
  • 4
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 4
  • 7
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 10
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 10
  • 2
  • 5
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 7
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 9
  • 2
  • 2
  • 9
  • 15
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 7
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 16
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 11
  • 12
  • 5
  • 2
  • 4
  • 4
  • 6
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 4
  • 3
  • 5
  • 2
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 4
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 5
  • 5
  • 6
  • 4
  • 2
  • 2
  • 4
  • 4
  • 3
  • 13
Verlag
  • 498
  • 375
  • 261
  • 27
  • 84
  • 5
Preis
  • 38
  • 971
  • 241
Sprachen
  • 1250
Verfügbarkeit
  • 1248
  • 2
Eigenschaften
  • 1
Katalog
  • 1250
  • 84
1.250  Treffer  für „Lecture Notes in Artificial Intelligence“
    Shankar / Furbach | Automated Reasoning | Buch | Sack Fachmedien

    Shankar / Furbach Automated Reasoning

    Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37187-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matoušek / Pavelka / Mautner | Text, Speech and Dialogue | Buch | Sack Fachmedien

    Matoušek / Pavelka / Mautner Text, Speech and Dialogue

    8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28789-6
    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
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20607-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farmer / Borwein | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Farmer / Borwein Mathematical Knowledge Management

    5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37104-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusch / Payne / Rovatsos | Cooperative Information Agents X | Buch | Sack Fachmedien

    Klusch / Payne / Rovatsos Cooperative Information Agents X

    10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-38569-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lavrac / Lavrac / Blockeel | Machine Learning: ECML 2003 | Buch | Sack Fachmedien

    Lavrac / Lavrac / Blockeel Machine Learning: ECML 2003

    14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20121-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faratin / Walsh / Parkes | Agent-Mediated Electronic Commerce V | Buch | Sack Fachmedien

    Faratin / Walsh / Parkes Agent-Mediated Electronic Commerce V

    Designing Mechanisms and Systems, AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15. 2003, Revised Selected Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22674-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rome / Dorffner / Hertzberg | Towards Affordance-Based Robot Control | Buch | Sack Fachmedien

    Rome / Dorffner / Hertzberg Towards Affordance-Based Robot Control

    International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006, Revised Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77914-8
    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
    Hornsby / Roddick | Temporal, Spatial, and Spatio-Temporal Data Mining | Buch | Sack Fachmedien

    Hornsby / Roddick Temporal, Spatial, and Spatio-Temporal Data Mining

    First International Workshop TSDM 2000 Lyon, France, September 12, 2000 Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41773-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weyns / Parunak / Michel | Environments for Multi-Agent Systems II | Buch | Sack Fachmedien

    Weyns / Parunak / Michel Environments for Multi-Agent Systems II

    Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32614-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sojka / Pala / Kopecek | Text, Speech and Dialogue | Buch | Sack Fachmedien

    Sojka / Pala / Kopecek Text, Speech and Dialogue

    Third International Workshop, TSD 2000 Brno, Czech Republic, September 13-16, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41042-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sebag / Rouveirol | Inductive Logic Programming | Buch | Sack Fachmedien

    Sebag / Rouveirol Inductive Logic Programming

    11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42538-0
    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
    Eklund / Mann / Ellis | Conceptual Structures: Knowledge Representations as Interlingua | Buch | Sack Fachmedien

    Eklund / Mann / Ellis Conceptual Structures: Knowledge Representations as Interlingua

    4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61534-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plümer | Termination Proofs for Logic Programs | Buch | Sack Fachmedien

    Plümer Termination Proofs for Logic Programs

    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52837-1
    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
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sojka / Pala / Kopecek | Text, Speech and Dialogue | Buch | Sack Fachmedien

    Sojka / Pala / Kopecek Text, Speech and Dialogue

    7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23049-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bunt / Borghuis / Beun | Multimodal Human-Computer Communication | Buch | Sack Fachmedien

    Bunt / Borghuis / Beun Multimodal Human-Computer Communication

    Systems, Techniques, and Experiments
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64380-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chein / Mugnier | Conceptual Structures: Theory, Tools and Applications | Buch | Sack Fachmedien

    Chein / Mugnier Conceptual Structures: Theory, Tools and Applications

    6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64791-1
    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

    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63606-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kitano | RoboCup-97: Robot Soccer World Cup I | Buch | Sack Fachmedien

    Kitano RoboCup-97: Robot Soccer World Cup I

    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64473-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cyre / Tepfenhart | Conceptual Structures: Standards and Practices | Buch | Sack Fachmedien

    Cyre / Tepfenhart Conceptual Structures: Standards and Practices

    7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66223-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christodoulakis | Natural Language Processing - NLP 2000 | Buch | Sack Fachmedien

    Christodoulakis Natural Language Processing - NLP 2000

    Second International Conference Patras, Greece, June 2-4, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67605-8
    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
    2007
    Verlag: Springer Berlin Heidelberg
    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