Ergebnisse filtern
Fachgebiet
Medium
  • 62
  • 1
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 26
  • 2
  • 2
  • 1
  • 3
  • 1
  • 4
  • 3
  • 5
  • 7
  • 3
  • 1
  • 2
Autoren
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
Verlag
  • 62
  • 1
Preis
  • 6
  • 57
Sprachen
  • 63
Verfügbarkeit
  • 63
Katalog
  • 63
  • 2
63  Treffer  für „Applied Logic Series“
    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
    106,50 € (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
    164,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
    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
    107,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
    97,00 € (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

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