Cover Image

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium

Corporate Author: CALCULEMUS-2000 Symposium(:
Other Authors: Kohlhase,, Kerber,
Published: Natick, MA: A K Peters, 2001.
Subjects:
Automatic theorem proving -- > Congresses
Algebra -- > Data processing -- > Congresses

KOLEKSI TERBUKA

Call Number: QA 155.7 E4 C144 2001
Accession Item Category Format Status Notes
1100000706 Open Shelf Book AVAILABLE

Similar Items