Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 1
- 1
- 1
- 1
- 4
- 2
- 1
-
- 2
- 1
- 1
-
- 2
- 2
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Brünnler / Metcalfe Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22118-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Metcalfe / Olivetti / Gabbay Proof Theory for Fuzzy Logics
2009. Auflage 2008Verlag: SpringerISBN: 978-1-4020-9408-8Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Metcalfe / Gabbay / Olivetti Proof Theory for Fuzzy Logics
1. Auflage. Softcover version of original hardcover Auflage 2009Verlag: Springer NetherlandsISBN: 978-90-481-8121-6Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Metcalfe / de Queiroz / Studer Logic, Language, Information, and Computation
30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-62686-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
