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