Bernard Sufrin

9 papers and 236 indexed citations i.

Bernard Sufrin has authored 9 papers that have received a total of 236 indexed citations. This includes 5 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 2 papers in Software. The topics of these papers are Logic, programming, and type systems (4 papers), Intelligent Tutoring Systems and Adaptive Learning (2 papers) and Logic, Reasoning, and Knowledge (2 papers). Bernard Sufrin is often cited by papers focused on Logic, programming, and type systems (4 papers), Intelligent Tutoring Systems and Adaptive Learning (2 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in United Kingdom, United States and Australia. Bernard Sufrin's co-authors include Richard Bornat, James Aczel, Tim O’Shea, Martin Oliver and Pat Fung and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and British Journal of Educational Technology