𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] 6th Conference on Automated Deduction Volume 138 || Intuitionistic basis for non-monotonic logic

✍ Scribed by Loveland, D. W.

Book ID
120509233
Publisher
Springer-Verlag
Year
1982
Tongue
German
Weight
482 KB
Edition
1
Category
Article
ISBN-13
9783540115588

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto
[Lecture Notes in Computer Science] Automated Deduction β€” CADE-16 Volume 1632 || A PSpace Algorithm for Graded Modal Logic
✍ Ganzinger, Harald πŸ“‚ Article πŸ“… 1999 πŸ› Springer Berlin Heidelberg 🌐 German βš– 213 KB

This Book Constitutes The Refereed Proceedings Of The 16th International Conference On Automated Deduction, Cade-16, Held In Trento, Italy In July 1999 As Part Of Floc'99. The 21 Revised Full Papers Presented Were Carefully Reviewed And Selected From A Total Of 83 Submissions. Also Included Are 15 S