✦ LIBER ✦

19th International Conference on Automated Deduction (CADE-19)

✍ Scribed by Franz Baader

Book ID: 113641570
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 128 KB
Volume: 199
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2005.02.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

19TH INTERNATIONAL CARTOGRAPHIC CONFEREN

19TH INTERNATIONAL CARTOGRAPHIC CONFERENCE

✍ D. P. Chapman 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 148 KB

19th International Symposium on Allied T

19th International Symposium on Allied Technology & Automation

📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 71 KB

19th International Conference on Concurr

19th International Conference on Concurrency Theory

✍ Franck van Breugel; Marsha Chechik 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 168 KB

19th International Mouse Genome Conferen

19th International Mouse Genome Conference

✍ Nicola M. Solomon; Jennifer Dackor; Sally A. Camper 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 110 KB

19th International Conference on Ion Bea

19th International Conference on Ion Beam Analysis

✍ Roger Webb; Melanie Bailey; Chris Jeynes; Geoff Grime 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 185 KB

19th International Conference on Concept

19th International Conference on Conceptual Modeling (ER2000)

✍ Alberto H.F Laender; Veda C Storey 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 32 KB

We are pleased to bring you this special issue of Data and Knowledge Engineering based upon the 19th International Conference on Conceptual Modeling (ER2000), which was held on 9±12 October 2000 in Salt Lake City, Utah, USA. Continuing in its long tradition of attracting the leading researchers and