Ergebnisse filtern
Fachgebiet
Medium
  • 70
Erscheinungsjahr
  • 1
  • 1
  • 3
  • 2
  • 27
  • 1
  • 1
  • 4
  • 4
  • 4
  • 5
  • 7
  • 4
  • 2
  • 4
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 10
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
Verlag
  • 11
  • 59
Preis
  • 4
  • 66
Sprachen
  • 70
Verfügbarkeit
  • 70
Katalog
  • 70
  • 4
70  Treffer  für „Applied Logic Series“
    Schmitt / Bibel | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Buch | Sack Fachmedien

    Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    1998
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-5131-3
    Medium: Buch
    160,49 € (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-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
    Woods | The Death of Argument | Buch | Sack Fachmedien

    Woods The Death of Argument

    Fallacies in Agent Based Reasoning
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6700-5
    Medium: Buch
    160,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
    Woods | The Death of Argument | Buch | Sack Fachmedien

    Woods The Death of Argument

    Fallacies in Agent Based Reasoning
    2004. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-4020-2663-8
    Medium: Buch
    160,49 € (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
    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