It looks like you're offline.

Last edited anonymously

April 1, 2008 | History

Edit

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

We need a photo of International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)

1 work Add another?

Preview

Preview Book
×Close

Automated deduction, CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

by International Conference on Automated De... First published in 1998 — 1 edition

Preview Only

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel

We need a photo of International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL230115A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
1 revision

Download catalog record: RDF / JSON

Created by an anonymous user

initial import