Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb

Deine Suchergebnisse für

Filtern und Sortieren

Sortierung
Meine Präferenzen

Mit einem Klick zum persönlichen Suchergebnis
Kategorie
Sprachen (1)
Preis
Lieferbarkeit
Autorinnen / Autoren
Reihen
Erscheinungsdatum
Click & Collect:

alexander leitsch: 6 Treffer

  • Automated Model Building Produktbild: Automated Model Building

    Ricardo Caferra, Alexander Leitsch + weitere

    Automated Model Building
    Band 31

    Buch (Gebundene Ausgabe) + weitere

    Fr. 191.00

    Versandfertig innert 3 Wochen

  • Methods of Cut-Elimination Produktbild: Methods of Cut-Elimination

    Matthias Baaz + weitere

    Methods of Cut-Elimination
    Band 34

    eBook (PDF) + weitere

    Fr. 125.90

    Sofort per Download lieferbar

  • First-Order Schemata and Inductive Proof Analysis Produktbild: First-Order Schemata and Inductive Proof Analysis

    Alexander Leitsch, David Michael Cerna + weitere

    First-Order Schemata and Inductive Proof Analysis

    eBook (PDF) + weitere

    Fr. 200.90

    Sofort per Download lieferbar

  • The Resolution Calculus Produktbild: The Resolution Calculus

    Alexander Leitsch

    The Resolution Calculus

    Buch (Taschenbuch)

    Fr. 72.90

    Versandfertig innert 4 - 7 Werktagen

  • Computational Logic and Proof Theory Produktbild: Computational Logic and Proof Theory

    Georg Gottlob, Alexander Leitsch + weitere

    Computational Logic and Proof Theory
    Band 713

    Buch (Taschenbuch) + weitere

    Fr. 72.90

    Versandfertig innert 4 - 7 Werktagen

  • Automated Reasoning Produktbild: Automated Reasoning

    Rajeev Gore, Alexander Leitsch + weitere

    Automated Reasoning

    Buch (Taschenbuch)

    Fr. 138.00

    Versandfertig innert 4 - 7 Werktagen

von 6 Treffern werden angezeigt