Súbor:Cl2011 d.pdf
Cl2011_d.pdf (file size: 341 KB, MIME type: application/pdf)
Slides: Computational logic, 3rd lecture: Reasoning with ALC
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Dimensions | User | Comment | |
---|---|---|---|---|
current | 17:17, 24 October 2011 | (341 KB) | Homola (Talk | contribs) | Slides: Computational logic, 3rd lecture: Reasoning with ALC |
- You cannot overwrite this file.
File usage
There are no pages that link to this file.