𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Liss — The logic inference search system

✍ Scribed by Stickel, Mark E.


Book ID
121807699
Publisher
Springer Berlin Heidelberg
Year
1990
Weight
105 KB
Category
Article
ISBN
3540471715

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES