Home
Genres
Deals
Log in
Sign up
Premium
Help
Download
Privacy
Terms
A proof theory for general unification by Wayne Snyder | Lex | Lex
A proof theory for general unification
A proof theory for general unification
Wayne Snyder
First published 1991
Subjects
Automatic theorem proving