Ergebnisse filtern
Fachgebiet
Medium
  • 1489
Erscheinungsjahr
  • 8
  • 75
  • 88
  • 71
  • 69
  • 43
  • 53
  • 38
  • 47
  • 50
  • 47
  • 54
  • 43
  • 46
  • 45
  • 54
  • 57
  • 61
  • 55
  • 43
  • 52
  • 47
  • 40
  • 38
  • 35
  • 33
  • 25
  • 29
  • 22
  • 22
  • 19
  • 17
  • 9
  • 9
  • 11
  • 10
  • 10
  • 8
  • 4
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 14
  • 2
  • 3
  • 4
  • 4
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 6
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 11
  • 4
  • 2
  • 4
  • 5
  • 2
  • 4
  • 7
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 11
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 6
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 2
  • 12
  • 6
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 6
  • 4
  • 5
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 15
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 14
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 11
  • 2
  • 14
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 11
  • 6
  • 3
  • 7
  • 5
  • 2
  • 2
  • 3
  • 17
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 5
  • 6
  • 2
  • 10
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 4
  • 11
  • 2
  • 6
  • 4
  • 2
  • 3
  • 5
  • 7
  • 3
  • 2
  • 2
  • 4
  • 6
  • 7
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 8
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 15
  • 3
  • 2
  • 5
  • 4
  • 4
  • 5
  • 2
  • 5
  • 2
  • 5
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 5
  • 6
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 7
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 16
  • 8
  • 3
  • 12
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 10
  • 2
  • 4
  • 12
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 6
  • 2
  • 4
  • 3
  • 9
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 3
  • 2
  • 5
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 2
  • 6
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 29
  • 9
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 8
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 5
  • 2
  • 5
  • 5
  • 2
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 7
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 4
  • 3
  • 12
  • 5
  • 3
  • 4
  • 5
  • 2
  • 2
  • 15
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 4
  • 8
  • 2
  • 6
  • 2
  • 3
  • 3
  • 16
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 12
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 4
  • 16
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 11
  • 2
  • 3
  • 2
  • 15
  • 2
  • 2
  • 15
  • 2
  • 6
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 11
  • 3
  • 2
  • 7
  • 2
  • 6
  • 3
  • 6
  • 4
  • 4
  • 2
  • 2
  • 3
  • 12
  • 4
  • 3
  • 4
  • 2
  • 2
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 1
  • 3
  • 16
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 15
  • 3
  • 5
  • 4
  • 5
  • 2
  • 7
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 9
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 9
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 4
  • 2
  • 3
  • 8
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 10
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 6
  • 2
  • 5
  • 7
  • 2
  • 5
  • 3
  • 3
  • 4
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 6
  • 3
  • 6
  • 5
  • 4
  • 8
  • 5
  • 2
  • 5
  • 6
  • 5
  • 4
  • 2
  • 14
  • 2
Verlag
  • 2
  • 1470
  • 1
  • 1
  • 4
  • 2
  • 9
Preis
  • 41
  • 1137
  • 311
Sprachen
  • 1489
Verfügbarkeit
  • 1461
  • 28
Katalog
  • 1489
  • 97
1.489  Treffer  für „Lecture Notes in Artificial Intelligence“
    Harris | Engineering Psychology and Cognitive Ergonomics | Buch | Sack Fachmedien

    Harris Engineering Psychology and Cognitive Ergonomics

    7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73330-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov Logic Programming and Automated Reasoning

    4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56944-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dechesne / Hattori / Mors | Advanced Agent Technology | Buch | Sack Fachmedien

    Dechesne / Hattori / Mors Advanced Agent Technology

    AAMAS Workshops 2011, AMPLE, AOSE, ARMS, DOCM³AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27215-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gavaldà / Lugosi / Zeugmann | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Gavaldà / Lugosi / Zeugmann Algorithmic Learning Theory

    20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04413-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dyckhoff / Herre / Schroeder-Heister | Extensions of Logic Programming | Buch | Sack Fachmedien

    Dyckhoff / Herre / Schroeder-Heister Extensions of Logic Programming

    5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60983-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vetulani | Human Language Technology. Challenges for Computer Science and Linguistics | Buch | Sack Fachmedien

    Vetulani Human Language Technology. Challenges for Computer Science and Linguistics

    4th Language and Technology Conference, LTC 2009, Roznan, Poland, November 6-8, 2009, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20094-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pustejovsky / Bergler | Lexical Semantics and Knowledge Representation | Buch | Sack Fachmedien

    Pustejovsky / Bergler Lexical Semantics and Knowledge Representation

    First SIGLEX Workshop, Berkeley, CA, USA, June 17, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55801-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pogodalla / Quatrini / Retoré | Logic and Grammar | Buch | Sack Fachmedien

    Pogodalla / Quatrini / Retoré Logic and Grammar

    Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21489-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schilder / Katz / Pustejovsky | Annotating, Extracting and Reasoning about Time and Events | Buch | Sack Fachmedien

    Schilder / Katz / Pustejovsky Annotating, Extracting and Reasoning about Time and Events

    International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75988-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / El Fallah Seghrouchni / Leite | Languages, Methodologies, and Development Tools for Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / El Fallah Seghrouchni / Leite Languages, Methodologies, and Development Tools for Multi-Agent Systems

    Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13337-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marik / Müller / Pechoucek | Multi-Agent Systems and Applications III | Buch | Sack Fachmedien

    Marik / Müller / Pechoucek Multi-Agent Systems and Applications III

    3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40450-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cussens / Frisch | Inductive Logic Programming | Buch | Sack Fachmedien

    Cussens / Frisch Inductive Logic Programming

    10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67795-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Nguyen / Wang | Rough Sets and Knowledge Technology | Buch | Sack Fachmedien

    Li / Nguyen / Wang Rough Sets and Knowledge Technology

    7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31899-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Zhang | Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Buch | Sack Fachmedien

    Nielsen / Zhang Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40494-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaminka / Lima / Rojas | RoboCup 2002: Robot Soccer World Cup VI | Buch | Sack Fachmedien

    Kaminka / Lima / Rojas RoboCup 2002: Robot Soccer World Cup VI

    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40666-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hernandez / Jäschke / Croitoru | Graph-Based Representation and Reasoning | Buch | Sack Fachmedien

    Hernandez / Jäschke / Croitoru Graph-Based Representation and Reasoning

    21st International Conference on Conceptual Structures, ICCS 2014, Ia¿i, Romania, July 27-30, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08388-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Automated Deduction - CADE-21 | Buch | Sack Fachmedien

    Pfenning Automated Deduction - CADE-21

    21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73594-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Stephan / Vovk | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Hutter / Stephan / Vovk Algorithmic Learning Theory

    21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16107-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jedrzejowicz / Nguyen / Howlett | Agent and Multi-Agent Systems: Technologies and Applications | Buch | Sack Fachmedien

    Jedrzejowicz / Nguyen / Howlett Agent and Multi-Agent Systems: Technologies and Applications

    4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010. Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13479-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richards / Kang | Knowledge Management and Acquisition for Intelligent Systems | Buch | Sack Fachmedien

    Richards / Kang Knowledge Management and Acquisition for Intelligent Systems

    12th Pacific Rim Knowledge Acquisition Workshop, PKAW 2012, Kuching, Malaysia, September 5-6, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32540-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bshouty / Stoltz / Vayatis | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Bshouty / Stoltz / Vayatis Algorithmic Learning Theory

    23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34105-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Beckert Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28931-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kauers / Kerber / Miner | Towards Mechanized Mathematical Assistants | Buch | Sack Fachmedien

    Kauers / Kerber / Miner Towards Mechanized Mathematical Assistants

    14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73083-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Belz / Evans / Piwek | Natural Language Generation | Buch | Sack Fachmedien

    Belz / Evans / Piwek Natural Language Generation

    Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22340-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt-Schauß | Computational Aspects of an Order-Sorted Logic with Term Declarations | Buch | Sack Fachmedien

    Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51705-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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