Robust Argumentation Machines
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-63535-9 (Buch)
- Erscheinungstermin: 17.07.2024
- Lieferzeit ca. 10 Werktage
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
Advances in Brain Inspired Cognitive Systems
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Singapore
- ISBN: 978-981-962881-0 (Buch)
- Erscheinungstermin: 09.03.2025
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Automated Deduction - CADE-12
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58156-7 (Buch)
- Erscheinungstermin: 08.06.1994
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Nonmonotonic and Inductive Logic
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-56433-1 (Buch)
- Erscheinungstermin: 26.02.1993
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Theorem Proving with Analytic Tableaux and Related Methods
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-59338-6 (Buch)
- Erscheinungstermin: 26.04.1995
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Automated Deduction - CADE-17
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-67664-5 (Buch)
- Erscheinungstermin: 05.06.2000
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Modeling and Using Context
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-66432-1 (Buch)
- Erscheinungstermin: 25.08.1999
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Instantiation Theory
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-54333-6 (Buch)
- Erscheinungstermin: 07.08.1991
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Mechanizing Mathematical Reasoning
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-25051-7 (Buch)
- Erscheinungstermin: 23.02.2005
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Logic Programming and Automated Reasoning
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58216-8 (Buch)
- Erscheinungstermin: 22.06.1994
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)