Matches in DBpedia 2014 for { ?s ?p Michael Paul Fourman FBCS (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009.Fourman is interested in applications of logic in computer science, artificial intelligence, and cognitive science — more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning.. }
Showing items 1 to 2 of
2
with 100 items per page.
- Michael_Fourman abstract "Michael Paul Fourman FBCS (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009.Fourman is interested in applications of logic in computer science, artificial intelligence, and cognitive science — more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning.".
- Michael_Fourman comment "Michael Paul Fourman FBCS (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009.Fourman is interested in applications of logic in computer science, artificial intelligence, and cognitive science — more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning.".