Fachgebiet
Medium
  • 33
Erscheinungsjahr
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 1
  • 5
  • 3
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 33
Preis
  • 1
  • 27
  • 5
Sprachen
  • 33
Verfügbarkeit
  • 33
Katalog
  • 33
  • 1
33  Treffer  für „Lecture Notes in Artificial Intelligence“


    Watt / Sexton / Davenport Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08433-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bürckert A Resolution Principle for a Logic with Restricted Quantifiers

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-55034-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kirchner / Ringeissen Frontiers of Combining Systems

    Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67281-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Borwein / Farmer Mathematical Knowledge Management

    5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37104-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dau The Logic System of Concept Graphs with Negation

    And Its Relationship to Predicate Logic
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20607-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Gabbay / Ohlbach Temporal Logic

    First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58241-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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