Term Rewriting and All That

Term Rewriting and All That

By
Franz Baader
Franz Baader,
Tobias Nipkow
Tobias Nipkow
1998 • 318 pages
ryanlntn
Ryan Linton
Added to listComputer Science
Added to listNon Fiction
Saved as Want To Read