//]]>
Item type | Location | Call Number | Status | Date Due |
---|---|---|---|---|
E-Book | AUM Main Library | 005.131 (Browse Shelf) | Not for loan |
005.131Foundations of Information and Knowledge Systems | 005.131Abstract State Machines, Alloy, B and Z | 005.131Transactions on Rough Sets XI | 005.131Correct Reasoning | 005.131Controlled Natural Language | 005.131Automated Reasoning |
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming.
There are no comments for this item.