Ergebnisse filtern
-
- 8
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
-
- 6
- 1
- 1
-
- 2
- 6
-
- 8
-
- 7
- 1
-
- 8
Mathematik | Informatik
-
Leitsch / Baaz Methods of Cut-Elimination
2011Verlag: Springer NetherlandsISBN: 978-94-007-3497-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baaz / Leitsch Methods of Cut-Elimination
2011. Auflage 2011Verlag: SpringerISBN: 978-94-007-0319-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gore / Leitsch / Nipkow Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42254-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gottlob / Leitsch / Mundici Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57184-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Caferra / Leitsch / Peltier Automated Model Building
2004. Auflage 2004Verlag: SpringerISBN: 978-1-4020-2652-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Caferra / Leitsch / Peltier Automated Model Building
1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-90-481-6696-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gottlob / Leitsch / Mundici Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63385-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Leitsch / Cerna / Lolic First-Order Schemata and Inductive Proof Analysis
Erscheinungsjahr 2026Verlag: Springer-Verlag GmbHISBN: 978-3-032-05740-2Medium: Buch171,19 € (inkl. MwSt.)
vorbestellbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
