Logic Programming
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-43930-1 (Buch)
- Erscheinungstermin: 17.07.2002
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Higher Order Logic Theorem Proving and Its Applications
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-60275-0 (Buch)
- Erscheinungstermin: 23.08.1995
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Logics in AI
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-53686-4 (Buch)
- Erscheinungstermin: 26.02.1991
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Automata, Languages and Programming
50,28 € (inkl. MwSt.)
46,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-16761-7 (Buch)
- Erscheinungstermin: 01.06.1986
- Lieferzeit ca. 10 Werktage
50,28 € (inkl. MwSt.)
46,99 € (zzgl. MwSt.)
Graph Reduction
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-18420-1 (Buch)
- Erscheinungstermin: 07.10.1987
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
37,44 € (inkl. MwSt.)
34,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-17611-4 (Buch)
- Erscheinungstermin: 27.02.1987
- Lieferzeit ca. 10 Werktage
37,44 € (inkl. MwSt.)
34,99 € (zzgl. MwSt.)
Turing Machines with Sublogarithmic Space
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58355-4 (Buch)
- Erscheinungstermin: 29.08.1994
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
STACS 86
37,44 € (inkl. MwSt.)
34,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-16078-6 (Buch)
- Erscheinungstermin: 01.12.1985
- Lieferzeit ca. 10 Werktage
37,44 € (inkl. MwSt.)
34,99 € (zzgl. MwSt.)
Isabelle
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58244-1 (Buch)
- Erscheinungstermin: 28.07.1994
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Higher-Order Algebra, Logic, and Term Rewriting
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-61254-4 (Buch)
- Erscheinungstermin: 08.05.1996
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)