On the role of unification in mechanical
β
Robert E. Shostak
π
Article
π
1977
π
Springer-Verlag
π
English
β 306 KB