Ergebnisse filtern
Fachgebiet
Medium
  • 1470
  • 323
Erscheinungsjahr
  • 14
  • 101
  • 93
  • 88
  • 51
  • 82
  • 60
  • 78
  • 85
  • 63
  • 59
  • 72
  • 75
  • 79
  • 59
  • 84
  • 82
  • 52
  • 50
  • 45
  • 49
  • 49
  • 30
  • 32
  • 28
  • 32
  • 29
  • 29
  • 37
  • 24
  • 20
  • 11
  • 11
  • 9
  • 10
  • 12
  • 7
  • 1
  • 1
Autoren
  • 6
  • 3
  • 6
  • 4
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 12
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 4
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 14
  • 3
  • 3
  • 2
  • 4
  • 10
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 4
  • 11
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 10
  • 2
  • 4
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 14
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 5
  • 2
  • 4
  • 4
  • 2
  • 4
  • 6
  • 2
  • 3
  • 3
  • 2
  • 14
  • 2
  • 2
  • 3
  • 2
  • 9
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 8
  • 6
  • 4
  • 3
  • 2
  • 4
  • 2
  • 13
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 11
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 11
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 4
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 7
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 12
  • 2
  • 12
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 8
  • 10
  • 6
  • 4
  • 2
  • 2
  • 10
  • 4
  • 3
  • 21
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 3
  • 4
  • 7
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 7
  • 3
  • 2
  • 5
  • 2
  • 2
  • 6
  • 4
  • 2
  • 4
  • 10
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 7
  • 8
  • 2
  • 3
  • 7
  • 2
  • 4
  • 3
  • 2
  • 3
  • 12
  • 2
  • 6
  • 2
  • 3
  • 4
  • 5
  • 4
  • 2
  • 2
  • 3
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 3
  • 14
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 16
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 8
  • 9
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 6
  • 8
  • 5
  • 3
  • 6
  • 3
  • 6
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 5
  • 11
  • 2
  • 3
  • 5
  • 5
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 22
  • 2
  • 8
  • 4
  • 15
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 7
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 7
  • 3
  • 4
  • 2
  • 3
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 6
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 5
  • 3
  • 2
  • 7
  • 3
  • 3
  • 2
  • 6
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 5
  • 3
  • 12
  • 4
  • 5
  • 3
  • 16
  • 4
  • 3
  • 37
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 10
  • 7
  • 4
  • 6
  • 7
  • 5
  • 4
  • 3
  • 8
  • 4
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 14
  • 8
  • 7
  • 3
  • 5
  • 4
  • 6
  • 20
  • 3
  • 4
  • 6
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 5
  • 9
  • 5
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 11
  • 5
  • 3
  • 3
  • 5
  • 15
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 8
  • 10
  • 4
  • 5
  • 3
  • 3
  • 7
  • 20
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 10
  • 3
  • 6
  • 9
  • 18
  • 5
  • 3
  • 11
  • 13
  • 3
  • 8
  • 7
  • 3
  • 9
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 7
  • 3
  • 7
  • 10
  • 8
  • 6
  • 3
  • 5
  • 6
  • 3
  • 6
  • 6
  • 3
  • 7
  • 3
  • 4
  • 4
  • 10
  • 6
  • 11
  • 5
  • 20
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 9
  • 3
  • 9
  • 4
  • 13
  • 23
  • 6
  • 3
  • 6
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 7
  • 6
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 6
  • 5
  • 3
  • 6
  • 6
  • 6
  • 6
  • 4
  • 4
  • 4
  • 9
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 8
  • 8
  • 6
  • 4
  • 6
  • 5
  • 5
  • 12
  • 4
  • 4
  • 5
  • 3
  • 3
  • 8
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 6
  • 3
  • 6
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 7
  • 6
  • 5
  • 8
  • 5
  • 6
  • 5
  • 4
  • 4
  • 7
  • 8
  • 18
Verlag
  • 2
  • 1547
  • 212
  • 2
  • 26
  • 4
Preis
  • 59
  • 1431
  • 303
Sprachen
  • 1793
  • 1
  • 1
Verfügbarkeit
  • 1792
  • 1
Eigenschaften
  • 1
Katalog
  • 1793
  • 102
1.793  Treffer  für „Lecture Notes in Artificial Intelligence“
    Roefer / Mayer / Savage | RoboCup 2011: Robot Soccer World Cup XV | Buch | Sack Fachmedien

    Roefer / Mayer / Savage RoboCup 2011: Robot Soccer World Cup XV

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32059-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerri / Prati | Intelligent Systems | Buch | Sack Fachmedien

    Cerri / Prati Intelligent Systems

    9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-61376-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Memmi / Yang / Kong | Knowledge Science, Engineering and Management | Buch | Sack Fachmedien

    Memmi / Yang / Kong Knowledge Science, Engineering and Management

    15th International Conference, KSEM 2022, Singapore, August 6-8, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-10982-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramanna / Cornelis / Ciucci | Rough Sets | Buch | Sack Fachmedien

    Ramanna / Cornelis / Ciucci Rough Sets

    International Joint Conference, IJCRS 2021, Bratislava, Slovakia, September 19-24, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87333-2
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Honavar / Slutzki | Grammatical Inference | Buch | Sack Fachmedien

    Honavar / Slutzki Grammatical Inference

    4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64776-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akman / Bouquet / Thomason | Modeling and Using Context | Buch | Sack Fachmedien

    Akman / Bouquet / Thomason Modeling and Using Context

    Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42379-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moro / Sartori / Singh | Agents and Peer-to-Peer Computing | Buch | Sack Fachmedien

    Moro / Sartori / Singh Agents and Peer-to-Peer Computing

    Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24053-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choueiry / Walsh | Abstraction, Reformulation, and Approximation | Buch | Sack Fachmedien

    Choueiry / Walsh Abstraction, Reformulation, and Approximation

    4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67839-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gramlich / Miller / Sattler | Automated Reasoning | Buch | Sack Fachmedien

    Gramlich / Miller / Sattler Automated Reasoning

    6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31364-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronzhin / Potapova / Fakotakis | Speech and Computer | Buch | Sack Fachmedien

    Ronzhin / Potapova / Fakotakis Speech and Computer

    17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23131-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giese / Waaler | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Giese / Waaler Automated Reasoning with Analytic Tableaux and Related Methods

    18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02715-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vrancx / Knudson / Grzes | Adaptive and Learning Agents | Buch | Sack Fachmedien

    Vrancx / Knudson / Grzes Adaptive and Learning Agents

    AAMAS 2011 International Workshop, ALA 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28498-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sojka / Horak / Kopecek | Text, Speech and Dialogue | Buch | Sack Fachmedien

    Sojka / Horak / Kopecek Text, Speech and Dialogue

    13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010.Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15759-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamontagne / Plaza | Case-Based Reasoning Research and Development | Buch | Sack Fachmedien

    Lamontagne / Plaza Case-Based Reasoning Research and Development

    22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11208-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Gosztolya | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Gosztolya Speech and Computer

    27th International Conference, SPECOM 2025, Szeged, Hungary, October 13-15, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07958-9
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Král / Martín-Vide | Statistical Language and Speech Processing | Buch | Sack Fachmedien

    Král / Martín-Vide Statistical Language and Speech Processing

    4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45924-0
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kivinen / Sloan | Computational Learning Theory | Buch | Sack Fachmedien

    Kivinen / Sloan Computational Learning Theory

    15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43836-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nareyek | Local Search for Planning and Scheduling | Buch | Sack Fachmedien

    Nareyek Local Search for Planning and Scheduling

    ECAI 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42898-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hong / Zhang / Liu | Chinese Lexical Semantics | Buch | Sack Fachmedien

    Hong / Zhang / Liu Chinese Lexical Semantics

    20th Workshop, CLSW 2019, Beijing, China, June 28-30, 2019, Revised Selected Papers
    Erscheinungsjahr 2020
    Verlag: Springer
    ISBN: 978-3-030-38188-2
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Creem-Regehr / Schöning / Klippel | Spatial Cognition XI | Buch | Sack Fachmedien

    Creem-Regehr / Schöning / Klippel Spatial Cognition XI

    11th International Conference, Spatial Cognition 2018, Tübingen, Germany, September 5-8, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96384-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemaire / Malinowski / Bagnall | Advanced Analytics and Learning on Temporal Data | Buch | Sack Fachmedien

    Lemaire / Malinowski / Bagnall Advanced Analytics and Learning on Temporal Data

    6th ECML PKDD Workshop, AALTD 2021, Bilbao, Spain, September 13, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91444-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bifet / Lorena / Ribeiro | Discovery Science | Buch | Sack Fachmedien

    Bifet / Lorena / Ribeiro Discovery Science

    26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45274-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming | Buch | Sack Fachmedien

    Voronkov Logic Programming

    First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonacina | Automated Deduction -- CADE-24 | Buch | Sack Fachmedien

    Bonacina Automated Deduction -- CADE-24

    24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38573-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murray | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Murray Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66086-6
    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