FLoC'99
Workshop on
STRATEGIES IN AUTOMATED DEDUCTION (
STRATEGIES'99
)
Call for Submissions and Participation
Programme
Proceedings (ps.gz)
Invited Talks
Accepted Contributions
Participants