𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Current Trends in Automated Deduction

✍ Scribed by Jürgen Giesl


Book ID
107690036
Publisher
Springer-Verlag
Year
2010
Tongue
English
Weight
191 KB
Volume
24
Category
Article
ISSN
0933-1875

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES