Author/Creator: CALCULEMUS-2000 Symposium - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator CALCULEMUS-2000 Symposium

1. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /: the CALCULEMUS-2000 Symposium. (2001)

Other Names:: Kerber, Manfred, 1956-; Kohlhase, Michael, 1964-; CALCULEMUS-2000 Symposium
Record Type:: Book
Extent:: 1 online resource (288 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗