Michael Fourman
http://dbpedia.org/resource/Michael_Fourman an entity of type: Thing
Michael Paul Fourman FBCS FRSE (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 worked 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 .
rdf:langString
rdf:langString
Michael Fourman
rdf:langString
Michael Paul Fourman
rdf:langString
Michael Paul Fourman
rdf:langString
Oxford, United Kingdom
xsd:date
1950-09-12
xsd:integer
5356861
xsd:integer
1108309435
xsd:date
1950-09-12
rdf:langString
logician, computer scientist, mathematician
xsd:integer
150
rdf:langString
British
rdf:langString
Scotland, United Kingdom
rdf:langString
Michael Paul Fourman FBCS FRSE (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 worked 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 .
rdf:langString
Dana Scott
xsd:nonNegativeInteger
6666