Ergebnisse filtern
Fachgebiet
Medium
  • 8
  • 5
Erscheinungsjahr
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 4
  • 1
  • 2
  • 2
  • 13
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
Verlag
  • 8
  • 1
  • 1
  • 1
  • 2
Preis
  • 6
  • 7
Sprachen
  • 13
Verfügbarkeit
  • 13
Eigenschaften
  • 1
Katalog
  • 13
13  Treffer  für „Leitsch, Alexander“
    Leitsch | The Resolution Calculus | Buch | Sack Fachmedien

    Leitsch The Resolution Calculus

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-64473-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leitsch | The Resolution Calculus | eBook | Sack Fachmedien
    E-Book

    Leitsch The Resolution Calculus

    1997
    Verlag: Springer
    ISBN: 978-3-642-60605-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Baaz / Leitsch | Methods of Cut-Elimination | Buch | Sack Fachmedien

    Baaz / Leitsch Methods of Cut-Elimination

    2011. Auflage 2011
    Verlag: Springer
    ISBN: 978-94-007-0319-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leitsch / Baaz | Methods of Cut-Elimination | Buch | Sack Fachmedien

    Leitsch / Baaz Methods of Cut-Elimination

    2011
    Verlag: Springer Netherlands
    ISBN: 978-94-007-3497-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baaz / Leitsch | Methods of Cut-Elimination | eBook | Sack Fachmedien
    E-Book

    Baaz / Leitsch Methods of Cut-Elimination

    2011
    Verlag: Springer Netherland
    ISBN: 978-94-007-0320-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gore / Leitsch / Nipkow | Automated Reasoning | Buch | Sack Fachmedien

    Gore / Leitsch / Nipkow Automated Reasoning

    First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42254-9
    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
    Gore / Leitsch / Nipkow | Automated Reasoning | eBook | Sack Fachmedien
    E-Book

    Gore / Leitsch / Nipkow Automated Reasoning

    First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45744-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gottlob / Leitsch / Mundici | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Leitsch / Mundici Computational Logic and Proof Theory

    Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57184-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caferra / Leitsch / Peltier | Automated Model Building | Buch | Sack Fachmedien

    Caferra / Leitsch / Peltier Automated Model Building

    2004. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-4020-2652-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caferra / Leitsch / Peltier | Automated Model Building | eBook | Sack Fachmedien
    E-Book

    Caferra / Leitsch / Peltier Automated Model Building

    Erscheinungsjahr 2013
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-2653-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gottlob / Leitsch / Mundici | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Leitsch / Mundici Computational Logic and Proof Theory

    5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63385-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leitsch / Cerna / Lolic | First-Order Schemata and Inductive Proof Analysis | eBook | Sack Fachmedien
    E-Book

    Leitsch / Cerna / Lolic First-Order Schemata and Inductive Proof Analysis

    Erscheinungsjahr 2026
    Verlag: Springer International Publishing
    ISBN: 978-3-032-05741-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    171,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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