Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Open Library logo
Last edited anonymously
April 1, 2008 | History

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

1 work Add another?

Everything Ebooks Print Disabled

We need a photo of International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)
Subjects
Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic

Lists

You could add International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany) to a list if you log in.

Links (outside Open Library)

No links yet. Add one?

History Created April 1, 2008 · 1 revision
Download catalog record: RDF / JSON

April 1, 2008 Created by an anonymous user initial import