Ergebnisse filtern
Fachgebiet
Medium
  • 69
Erscheinungsjahr
  • 1
  • 1
  • 2
  • 2
  • 27
  • 2
  • 1
  • 1
  • 3
  • 1
  • 4
  • 4
  • 5
  • 7
  • 4
  • 1
  • 3
Autoren
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
Verlag
  • 12
  • 57
Preis
  • 6
  • 63
Sprachen
  • 69
Verfügbarkeit
  • 69
Katalog
  • 69
  • 4
69  Treffer  für „Applied Logic Series“
    Basin / D'Agostino / Viganò | Labelled Deduction | Buch | Sack Fachmedien

    Basin / D'Agostino / Viganò Labelled Deduction

    2000
    Verlag: Springer Netherlands
    ISBN: 978-94-010-5781-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivetti / Gabbay | Goal-Directed Proof Theory | Buch | Sack Fachmedien

    Olivetti / Gabbay Goal-Directed Proof Theory

    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6473-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivetti / Gabbay | Goal-Directed Proof Theory | Buch | Sack Fachmedien

    Olivetti / Gabbay Goal-Directed Proof Theory

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5526-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wansing / Gabbay | What is Negation? | Buch | Sack Fachmedien

    Wansing / Gabbay What is Negation?

    1999
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5569-4
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caferra / Peltier / Leitsch | Automated Model Building | Buch | Sack Fachmedien

    Caferra / Peltier / Leitsch Automated Model Building

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6696-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thielscher | Reasoning Robots | Buch | Sack Fachmedien

    Thielscher Reasoning Robots

    The Art and Science of Programming Robotic Agents
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6783-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansson | A Textbook of Belief Dynamics | Buch | Sack Fachmedien

    Hansson A Textbook of Belief Dynamics

    Theory Change and Database Updating
    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5125-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schulz / Baader | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Schulz / Baader Frontiers of Combining Systems

    First International Workshop, Munich, March 1996
    1996
    Verlag: Springer Netherlands
    ISBN: 978-94-010-6643-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rott / Williams | Frontiers in Belief Revision | Buch | Sack Fachmedien

    Rott / Williams Frontiers in Belief Revision

    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5720-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kamareddine / Nederpelt / Laan | A Modern Perspective on Type Theory | Buch | Sack Fachmedien

    Kamareddine / Nederpelt / Laan A Modern Perspective on Type Theory

    From its Origins until Today
    2004
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-2334-7
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / D'Agostino / Viganò | Labelled Deduction | Buch | Sack Fachmedien

    Basin / D'Agostino / Viganò Labelled Deduction

    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6237-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fronhöfer / Pareschi | Dynamic Worlds | Buch | Sack Fachmedien

    Fronhöfer / Pareschi Dynamic Worlds

    From the Frame Problem to Knowledge Management
    1999
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5535-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kamareddine | Thirty Five Years of Automating Mathematics | Buch | Sack Fachmedien

    Kamareddine Thirty Five Years of Automating Mathematics

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6440-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader / Schulz | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Baader / Schulz Frontiers of Combining Systems

    First International Workshop, Munich, March 1996
    1996. Auflage 1996
    Verlag: Springer
    ISBN: 978-0-7923-4271-7
    Medium: Buch
    96,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rott / Williams | Frontiers in Belief Revision | Buch | Sack Fachmedien

    Rott / Williams Frontiers in Belief Revision

    2001
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-7021-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leitgeb | Inference on the Low Level | Buch | Sack Fachmedien

    Leitgeb Inference on the Low Level

    An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6669-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hadjiantonis / Flach | Abduction and Induction | Buch | Sack Fachmedien

    Hadjiantonis / Flach Abduction and Induction

    Essays on their Relation and Integration
    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5433-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wansing / Gabbay | What is Negation? | Buch | Sack Fachmedien

    Wansing / Gabbay What is Negation?

    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5169-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansson | A Textbook of Belief Dynamics | Buch | Sack Fachmedien

    Hansson A Textbook of Belief Dynamics

    Solutions to exercises
    1999
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5329-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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