ENGLISH

A proof theory for general unification

By Wayne Snyder

Book information

Publisher
Springer
Year
1991
ISBN
0817635939, 9780817635930
LCC
QA76.9.A96 S6 1991
Language
english
Format
PDF
Filesize
6 MB (5859970 bytes)
Series
Progress in Computer Science and Applied Logic 11
Edition
1
Pages
192\95
Scanned
yes
Time added
2012-03-09 12:00:00

Similar books