On the role of unification in mechanical
✍
Robert E. Shostak
📂
Article
📅
1977
🏛
Springer-Verlag
🌐
English
⚖ 306 KB