=ADD=
=reftype=
14
=number=
97-20
=url=
http://www.risc.uni-linz.ac.at/conference/Theorema/
=note=
Proceedings of the workshop, including also some older papers for reference.
=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.
=year=
1997
=author=
Buchberger; Bruno + Ida; Tetsuo + Vasaru; Daniela
=title=
First International Theorema Workshop
=month=
06
=keywords=
automated theorem proving,
natural deduction, computer algebra system
=location=
2
=owner=
2
=source=
3