On simultaneous rigid E-unification
On simultaneous rigid E-unification
Margus Veanes
Details
OL Work ID
OL599733W
Subjects
Automatic theorem proving
Find this book
Open Library