Spelling suggestions: "subject:"higherorder KB procedure"" "subject:"highorder KB procedure""
1 |
A Higher-Order Knuth-Bendix Procedure and Its ApplicationsCHIBA, Yuki, KUSAKARI, Keiichirou 01 April 2007 (has links)
No description available.
|
Page generated in 0.0449 seconds