Browse by Authors and Editors
Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemDennis, Louise Abigail (2005) An Architecture for Proof Planning Systems. In: Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05, July, Edinburgh. |
From 30 July 2018 the research publications of UK based University of Nottingham authors (excluding student deposited eTheses) will be handled through the Research Information System (RIS).
To deposit an article after this date please Login to RIS and use the Outputs tab to Add New Output.
(See this blog for further information about this transition and the new repository for UK outputs.)
To deposit an article after this date please Login to RIS and use the Outputs tab to Add New Output.
(See this blog for further information about this transition and the new repository for UK outputs.)
