It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 1, 2008
Edit
History of edits to

International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)

Revision When Who Comment Diff
1 April 1, 2008 initial import