Abstract diagram of brain, suggesting artificial intelligence

Open Access research that delivers better decision support and knowledge modelling

Strathprints makes available Open Access scholarly outputs by Management Science at Strathclyde. Particular research specialisms include knowledge modelling within organisations but also problem structuring and analytical approaches to better interpret risk and uncertainty. Some of these management science approaches are applied within healthcare systems and have close links with economics and operations management.

Explore some of this Open Access research from Management Science. Or explore all Strathclyde Open Access research...

Browse by ISBN

Group by: Authors | Item type | No Grouping
Jump to: M
Number of items: 1.


Miyamoto, Kenji and Nordvall Forsberg, Fredrik and Schwichtenberg, Helmut; Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David, eds. (2013) Program extraction from nested definitions. In: Interactive Theorem Proving. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, FRA, pp. 370-385. ISBN 9783642396335

This list was generated on Sun Aug 14 06:10:07 2022 BST.