Ergebnisse filtern
Fachgebiet
Medium
  • 73
  • 1
Erscheinungsjahr
  • 1
  • 1
  • 3
  • 2
  • 29
  • 2
  • 2
  • 1
  • 4
  • 1
  • 4
  • 4
  • 5
  • 6
  • 3
  • 2
  • 4
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 11
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
Verlag
  • 73
  • 1
Preis
  • 6
  • 68
Sprachen
  • 74
Verfügbarkeit
  • 74
Katalog
  • 74
  • 3
74  Treffer  für „Applied Logic Series“
    Hansson | A Textbook of Belief Dynamics | Buch | Sack Fachmedien

    Hansson A Textbook of Belief Dynamics

    Theory Change and Database Updating
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-7923-5324-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams / Rott | Frontiers in Belief Revision | Buch | Sack Fachmedien

    Williams / Rott Frontiers in Belief Revision

    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer
    ISBN: 978-90-481-5720-4
    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
    ISBN: 978-90-481-5125-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bibel / Schmitt | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Buch | Sack Fachmedien

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

    1. Auflage. Softcover version of original hardcover Auflage 1998
    Verlag: Springer
    ISBN: 978-90-481-5052-6
    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
    ISBN: 978-90-481-6783-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / D'Agostino / Gabbay | Labelled Deduction | Buch | Sack Fachmedien

    Basin / D'Agostino / Gabbay Labelled Deduction

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-94-010-5781-3
    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
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-90-481-6700-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Olivetti | Goal-Directed Proof Theory | Buch | Sack Fachmedien

    Gabbay / Olivetti Goal-Directed Proof Theory

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-90-481-5526-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caferra / Leitsch / Peltier | Automated Model Building | Buch | Sack Fachmedien

    Caferra / Leitsch / Peltier Automated Model Building

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-90-481-6696-1
    Medium: Buch
    160,49 € (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
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-94-010-6643-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Wansing | What is Negation? | Buch | Sack Fachmedien

    Gabbay / Wansing What is Negation?

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-7923-5569-4
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Olivetti | Goal-Directed Proof Theory | Buch | Sack Fachmedien

    Gabbay / Olivetti Goal-Directed Proof Theory

    2000. Auflage 2000
    Verlag: Springer
    ISBN: 978-0-7923-6473-3
    Medium: Buch
    105,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    ISBN: 978-90-481-6440-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kamareddine / Laan / Nederpelt | A Modern Perspective on Type Theory | Buch | Sack Fachmedien

    Kamareddine / Laan / Nederpelt A Modern Perspective on Type Theory

    From its Origins until Today
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-1-4020-2334-7
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pareschi / Fronhöfer | Dynamic Worlds | Buch | Sack Fachmedien

    Pareschi / Fronhöfer Dynamic Worlds

    From the Frame Problem to Knowledge Management
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-7923-5535-9
    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. 3 bis 4 Wochen
    Bereits im Warenkorb
    Bibel / Schmitt | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Buch | Sack Fachmedien

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

    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-0-7923-5131-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / D'Agostino / Gabbay | Labelled Deduction | Buch | Sack Fachmedien

    Basin / D'Agostino / Gabbay Labelled Deduction

    2000. Auflage 2000
    Verlag: Springer
    ISBN: 978-0-7923-6237-1
    Medium: Buch
    105,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Gabbay / Wansing | What is Negation? | Buch | Sack Fachmedien

    Gabbay / Wansing What is Negation?

    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer
    ISBN: 978-90-481-5169-1
    Medium: Buch
    213,99 € (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
    ISBN: 978-90-481-6669-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flach / Hadjiantonis | Abduction and Induction | Buch | Sack Fachmedien

    Flach / Hadjiantonis Abduction and Induction

    Essays on their Relation and Integration
    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-90-481-5433-3
    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

    Solutions to exercises
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-7923-5329-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams / Rott | Frontiers in Belief Revision | Buch | Sack Fachmedien

    Williams / Rott Frontiers in Belief Revision

    2001. Auflage 2001
    Verlag: Springer
    ISBN: 978-0-7923-7021-5
    Medium: Buch
    163,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

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