=ADD=
=author=
Vasaru; Daniela + Ida; Tetsuo + Buchberger; Bruno
=title=
First International Theorema Workshop
=number=
97-20
=month=
6
=year=
1997
=sponsor=
TARA project (University of Tsukuba, Japan, Chair of Professor Tetsuo Ida),
project "Coordination Programming in Open Computiong Environments" 
(Advanced Information Technology Program - AITP
of the Information-Techology Promotion Agency - IPA, Japan),
grant on "Computer Algebra" by Fujitsu Labs, ISIS, Numazu, Japan.
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1997/97-23/index.html 
=keywords=
automated theorem proving,
natural deduction, computer algebra system
=note=
Proceedings of the workshop, including also some older papers for reference.
=location=
2
=owner=
2
=source=
3
=reftype=
14