✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 1847 || Modality and Databases

✍ Scribed by Dyckhoff, Roy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

✍ de Swart, Harrie 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 112 KB

[Lecture Notes in Computer Science] Auto

✍ Galmiche, Didier 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 277 KB

[Lecture Notes in Computer Science] Auto

✍ Cialdea Mayer, Marta; Pirri, Fiora 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 91 KB

[Lecture Notes in Computer Science] Rela

✍ Berghammer, Rudolf; Möller, Bernhard; Struth, Georg 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 245 KB

[Lecture Notes in Computer Science] Logi

✍ Pfenning, Frank 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 857 KB

[Lecture Notes in Computer Science] Agen

✍ Jędrzejowicz, Piotr; Nguyen, Ngoc Thanh; Howlet, Robert J.; Jain, Lakhmi C. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 103 KB