Ergebnisse filtern
Fachgebiet
Medium
  • 1236
Erscheinungsjahr
  • 17
  • 1
  • 7
  • 7
  • 7
  • 5
  • 12
  • 15
  • 19
  • 22
  • 15
  • 3
  • 3
  • 25
  • 44
  • 93
  • 66
  • 78
  • 105
  • 90
  • 80
  • 91
  • 59
  • 49
  • 48
  • 39
  • 38
  • 37
  • 37
  • 30
  • 20
  • 23
  • 16
  • 14
  • 9
  • 7
  • 3
  • 2
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 3
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 7
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 3
  • 3
  • 14
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 5
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 10
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 10
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 8
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 6
  • 4
  • 3
  • 2
  • 2
Verlag
  • 79
  • 1041
  • 64
  • 5
  • 13
  • 34
Preis
  • 10
  • 938
  • 288
Sprachen
  • 1236
  • 1
Verfügbarkeit
  • 1235
  • 1
Katalog
  • 1236
  • 151
1.236  Treffer  für „Lecture Notes in Computer Science“
    Koubarakis / Stamou / Stoilos | Reasoning Web. Reasoning and the Web in the Big Data Era | Buch | Sack Fachmedien

    Koubarakis / Stamou / Stoilos Reasoning Web. Reasoning and the Web in the Big Data Era

    10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10586-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Chen / Ong | Advances in Natural Computation Part 01 | Buch | Sack Fachmedien

    Wang / Chen / Ong Advances in Natural Computation Part 01

    First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
    2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28323-2
    Medium: Buch
    123,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baker / Jurisica / Butler | Data Integration in the Life Sciences | Buch | Sack Fachmedien

    Baker / Jurisica / Butler Data Integration in the Life Sciences

    9th International Conference, DILS 2013, Montreal, Canada, July 11-12, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39436-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith | Artificial Intelligence in Structural Engineering | Buch | Sack Fachmedien

    Smith Artificial Intelligence in Structural Engineering

    Information Technology for Design, Collaboration, Maintenance, and Monitoring
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64806-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Hujun | Advances in Neural Networks - ISNN 2006 | Buch | Sack Fachmedien

    Wang / Yi / Hujun Advances in Neural Networks - ISNN 2006

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34437-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gmitro / Barrett | Information Processing in Medical Imaging | Buch | Sack Fachmedien

    Gmitro / Barrett Information Processing in Medical Imaging

    13th International Conference, IPMI'93, Flagstaff, Arizona, USA, June 14-18, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56800-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuba / Todd-Pokropek / Samal | Information Processing in Medical Imaging | Buch | Sack Fachmedien

    Kuba / Todd-Pokropek / Samal Information Processing in Medical Imaging

    16th International Conference, IPMI'99, Visegrad, Hungary, June 28 - July 2, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66167-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maurer / Henninger | Advances in Learning Software Organizations | Buch | Sack Fachmedien

    Maurer / Henninger Advances in Learning Software Organizations

    4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20591-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nordström / Ranta | Advances in Natural Language Processing | Buch | Sack Fachmedien

    Nordström / Ranta Advances in Natural Language Processing

    6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85286-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leahy / Insana | Information Processing in Medical Imaging | Buch | Sack Fachmedien

    Leahy / Insana Information Processing in Medical Imaging

    17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42245-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Satoh / Kawamura / Inokuchi | New Frontiers in Artificial Intelligence | Buch | Sack Fachmedien

    Satoh / Kawamura / Inokuchi New Frontiers in Artificial Intelligence

    JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78196-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cunningham / Smyth | Advances in Case-Based Reasoning | Buch | Sack Fachmedien

    Cunningham / Smyth Advances in Case-Based Reasoning

    4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64990-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mamede / Ranchod | Advances in Natural Language Processing | Buch | Sack Fachmedien

    Mamede / Ranchod Advances in Natural Language Processing

    Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43829-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noble / Taylor | Information Processing in Medical Imaging | Buch | Sack Fachmedien

    Noble / Taylor Information Processing in Medical Imaging

    18th International Conference, IPMI 2003
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40560-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau / Bruynooghe | Program Development in Computational Logic | Buch | Sack Fachmedien

    Lau / Bruynooghe Program Development in Computational Logic

    A Decade of Research Advances in Logic-Based Program Development
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22152-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holz / Melnik | Advances in Learning Software Organizations | Buch | Sack Fachmedien

    Holz / Melnik Advances in Learning Software Organizations

    6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22192-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romanovsky / Tripathi / Dony | Advances in Exception Handling Techniques | Buch | Sack Fachmedien

    Romanovsky / Tripathi / Dony Advances in Exception Handling Techniques

    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41952-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slaney / Antoniou | Advanced Topics in Artificial Intelligence | Buch | Sack Fachmedien

    Slaney / Antoniou Advanced Topics in Artificial Intelligence

    11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65138-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yager / Bouchon | Uncertainty in Knowledge-Based Systems | Buch | Sack Fachmedien

    Yager / Bouchon Uncertainty in Knowledge-Based Systems

    International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, June 30 - July 4, 1986. Selected and Extended Contributions
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18579-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner | Theory Reasoning in Connection Calculi | Buch | Sack Fachmedien

    Baumgartner Theory Reasoning in Connection Calculi

    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65509-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mira / Prieto / Cabestany | New Trends in Neural Computation | Buch | Sack Fachmedien

    Mira / Prieto / Cabestany New Trends in Neural Computation

    International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schek / Alonso / Saltor | Advances in Database Technology - EDBT '98 | Buch | Sack Fachmedien

    Schek / Alonso / Saltor Advances in Database Technology - EDBT '98

    6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998.
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64264-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Dowek / Thery | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Bertot / Dowek / Thery Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66463-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Tahar / Munoz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Küsters | Non-Standard Inferences in Description Logics | Buch | Sack Fachmedien

    Küsters Non-Standard Inferences in Description Logics

    From Foundations and Definitions to Algorithms and Analysis
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42397-3
    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