
The Library
Browse by Funded research at the University of Warwick
![]() | Up a level |
Jump to: Journal Article | Conference Item
Number of items: 3.
Journal Article
Boyatt, Russell and Joy, Mike (2010) Developing an ontology of mathematical logic. Scientific Journal of the Technical University of Civil Engineering Bucharest, Volume 6 . pp. 6-11. ISSN 2066-6926.
Conference Item
Shi, Lei, Cristea, Alexandra I., Awan, M. S. K. (Malik Shahzad K.), Hendrix, Maurice and Stewart, Craig (2013) Towards understanding learning behavior patterns in social adaptive personalized e-learning systems. In: 19th Americas Conference on Information Systems, Chicago, Illinois, USA, 15-17 Aug 2013. Published in: Proceedings of the 19th Americas Conference on Information Systems (AMCIS 2013) ISBN 9780615559070.
Rinneheimo, Kirsi-Maria, Kinnari-Korpela, Hanna, Boyatt, Russell and Joy, Mike (2012) MALog : a new way to teach and learn mathematical logic. In: 16th SEFI Mathematics Working Group Seminar, Salamanda, Spain, 28-30 June 2012