-
1
-
2
-
3
-
4
-
5
-
6
-
7Published 2001Table of Contents: “…Invited Papers -- George Boole, a Forerunner of Symbolic Computation -- Artificial Intelligence…”
Full Text via HEAL-Link
Electronic eBook -
8
-
9
-
10
-
11
-
12Published 2005Table of Contents: “…Symbolic Computation of Lyapunov Quantities and the Second Part of Hilbert’s Sixteenth Problem…”
Full Text via HEAL-Link
Electronic eBook -
13
-
14
-
15
-
16
-
17
-
18
-
19Published 2002Table of Contents: “… Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis -- On a Generalised Logicality…”
Full Text via HEAL-Link
Electronic eBook -
20