Ergebnisse filtern
-
- 3
- 2
-
- 2
- 2
- 1
-
- 5
- 2
- 2
- 2
-
- 2
- 1
- 2
-
- 2
- 3
-
- 5
-
- 5
-
- 5
-
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Galmiche / Larchey-Wendling Automated Reasoning with Analytic Tableaux and Related Methods
22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40537-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar
-
Larchey-Wendling / Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40536-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Galmiche / Schulz / Sebastiani Automated Reasoning
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-94205-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Galmiche / Sebastiani / Schulz Automated Reasoning
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-94204-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
