|
|
J. H. Siekmann (1990): An Introduction to Unification Theory
| Title: |
An Introduction to Unification Theory |
| Author(s): |
J. H. Siekmann |
| Year: |
1990 |
| Booktitle: |
Formal techniques in Artificial Intelligence -- A Sourcebook |
| Editor(s): |
R. B. Banerji |
| Number: |
6 |
| Pages: |
369-424 |
| Publisher: |
North--Holland |
| Address: |
Amsterdam |
Concepts
|
|
