file_jvma5zqhyzhllhbykqkra5wqra
Associated Releases
| 2021-09-16 |
A brief Introduction to First-Order Logic Unification at the example of Corbin and Bidoit's variation of Robinson's Unification Algorithm
published | article | CC BY-NC-ND |
Public Access URLs
| web |
https://www.cip.ifi.lmu.de/~sprinz/sprinz_2021_unification.pdf
|
| webarchive |
https://web.archive.org/web/20220204201209/https://www.cip.ifi.lmu.de/~sprinz/sprinz_2021_unification.pdf
|
Data Integrity Checksums
| SHA-1 | 643ec312d0e6a76556ac6b66d58525cc0459822b
|
View Archived File
Size 439.5 kB