Toggle Nav
Menu
  • Home
  • Reihe: Applied Logic Series
Kategorie
Informatik & IT Mathe & Naturwissenschaften Philosophie & Religion
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 21-30 von 60

  1. Advances in Temporal Logic
    Advances in Temporal Logic
    Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough
    Taschenbuch | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 164,99
  2. Fallacies Arising from Ambiguity
    Fallacies Arising from Ambiguity
    Douglas Walton
    Taschenbuch | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 219,99
  3. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    Wolfgang Bibel, P.H. Schmitt
    Taschenbuch | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 219,99
  4. Advances in Intensional Logic
    Advances in Intensional Logic
    Maarten de Rijke
    Taschenbuch | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 164,99
  5. Automated Model Building
    Automated Model Building
    Ricardo Caferra, Alexander Leitsch, Nicolas Peltier
    Taschenbuch | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 164,99
  6. The Semantics and Proof Theory of the Logic of Bunched Implications
    The Semantics and Proof Theory of the Logic of Bunched Implications
    David J. Pym
    Taschenbuch | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 164,99
  7. Goal-Directed Proof Theory
    Goal-Directed Proof Theory
    Dov M. Gabbay, N. Olivetti
    Taschenbuch | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 109,99
  8. Hybrid Logic and its Proof-Theory
    Hybrid Logic and its Proof-Theory
    Torben Braüner
    Hardcover | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung innerhalb von 28 Werktagen
    € 109,99
  9. Analysis and Synthesis of Logics
    Analysis and Synthesis of Logics
    How to Cut and Paste Reasoning Systems
    Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
    Taschenbuch | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 164,99
  10. A Modern Perspective on Type Theory
    A Modern Perspective on Type Theory
    From its Origins until Today
    F.D. Kamareddine, T. Laan, Rob Nederpelt
    Taschenbuch | Springer Netherland, 2010
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 142,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 21-30 von 60

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen