𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Advances in Case-Based Reasoning Volume 3155 || Dynamic Critiquing

✍ Scribed by Funk, Peter; González Calero, Pedro A.

Book ID
118151128
Publisher
Springer Berlin Heidelberg
Year
2004
Weight
261 KB
Category
Article
ISBN
3540286314

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto
[Lecture Notes in Computer Science] Automated Reasoning Volume 2083 || Vampire 1.1
✍ Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 83 KB

This book constitutes the refereed proceedings of the First International Joint Conference on Automated Reasoning, IJCAR 2001, held in Siena, Italy, in June 2001. The 37 research papers and 19 system descriptions presented together with three invited contributions were carefully reviewed and selecte

[Lecture Notes in Computer Science] Auto
[Lecture Notes in Computer Science] Automated Reasoning Volume 7364 || Stratification in Logics of Definitions
✍ Gramlich, Bernhard; Miller, Dale; Sattler, Uli 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 273 KB

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (I