-
RecordNumber
69196
-
Author
CALCULEMUS-2000 Symposium, Scotland, 2000
-
Title
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
-
Editor
edited by Manfred Kerber, Michael Kohlhase
-
Publication
A K Peters
-
Publication Year
c2001
-
Subject
Algebra- Data processing- Congresses , Automatic theorem proving- Congresses
-
ADDED ENTRIES
Kerber, Manfred, 1956-, ed
-
Main Class
512
-
Sub Class
.0285
-
Cutter no
C144s
-
Date
2000
-
وارد كنندة اطلاعات
fazel^d2003/05/27 16:18:54 , fazel^d2003/05/28 08:13:55 , norouzi^d2003/08/10 08:28:21
-
Link To Document :
