Ebook: A Proof Theory for General Unification
Author: Wayne Snyder
- Series: Progress in Computer Science and Applied Logic 11
- Year: 1991
- Publisher: Springer
- Edition: 1
- Language: English
- pdf
Download the book A Proof Theory for General Unification for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)