Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Michael_Spivey> ?p ?o. }
Showing items 1 to 87 of
87
with 100 items per page.
- Michael_Spivey abstract "John Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford.Spivey was born in 1960 and educated at Archbishop Holgate's Grammar School in York, England. He studied mathematics at Christ's College, Cambridge and then undertook a DPhil in computer science on the Z notation at Wolfson College, Oxford and the Programming Research Group, part of the Oxford University Computing Laboratory.Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.".
- Michael_Spivey birthPlace England.
- Michael_Spivey country United_Kingdom.
- Michael_Spivey individualisedGnd "153572833".
- Michael_Spivey lccnId "n/87/944559".
- Michael_Spivey viafId "85217999".
- Michael_Spivey wikiPageExternalLink mike.
- Michael_Spivey wikiPageExternalLink logic.
- Michael_Spivey wikiPageExternalLink zrm.
- Michael_Spivey wikiPageExternalLink 9780521054140.
- Michael_Spivey wikiPageExternalLink michael.spivey.
- Michael_Spivey wikiPageID "11704554".
- Michael_Spivey wikiPageRevisionID "595751140".
- Michael_Spivey gnd "153572833".
- Michael_Spivey hasPhotoCollection Michael_Spivey.
- Michael_Spivey lccn "n/87/944559".
- Michael_Spivey name "Spivey, Mike".
- Michael_Spivey placeOfBirth England.
- Michael_Spivey shortDescription "Computer scientist".
- Michael_Spivey viaf "85217999".
- Michael_Spivey description "Computer scientist".
- Michael_Spivey description "Computer scientist".
- Michael_Spivey subject Category:1960_births.
- Michael_Spivey subject Category:Alumni_of_Christ's_College,_Cambridge.
- Michael_Spivey subject Category:Alumni_of_Wolfson_College,_Oxford.
- Michael_Spivey subject Category:Computer_science_writers.
- Michael_Spivey subject Category:English_computer_scientists.
- Michael_Spivey subject Category:Fellows_of_Oriel_College,_Oxford.
- Michael_Spivey subject Category:Formal_methods_people.
- Michael_Spivey subject Category:Living_people.
- Michael_Spivey subject Category:Logic_programming_researchers.
- Michael_Spivey subject Category:Members_of_Oxford_University_Department_of_Computer_Science.
- Michael_Spivey subject Category:People_educated_at_Archbishop_Holgate's_School.
- Michael_Spivey subject Category:Programming_language_researchers.
- Michael_Spivey subject Category:Z_notation.
- Michael_Spivey type AlumniOfChrist'sCollege,Cambridge.
- Michael_Spivey type AlumniOfWolfsonCollege,Oxford.
- Michael_Spivey type Alumnus109786338.
- Michael_Spivey type Associate109816771.
- Michael_Spivey type CausalAgent100007347.
- Michael_Spivey type Colleague109935990.
- Michael_Spivey type Communicator109610660.
- Michael_Spivey type ComputerScienceWriters.
- Michael_Spivey type ComputerScientist109951070.
- Michael_Spivey type ComputerUser109951274.
- Michael_Spivey type EnglishComputerScientists.
- Michael_Spivey type FellowsOfOrielCollege,Oxford.
- Michael_Spivey type FormalMethodsPeople.
- Michael_Spivey type Intellectual109621545.
- Michael_Spivey type LivingPeople.
- Michael_Spivey type LivingThing100004258.
- Michael_Spivey type Object100002684.
- Michael_Spivey type Organism100004475.
- Michael_Spivey type Peer109626238.
- Michael_Spivey type PeopleEducatedAtArchbishopHolgate'sSchool.
- Michael_Spivey type Person100007846.
- Michael_Spivey type PhysicalEntity100001930.
- Michael_Spivey type ProgrammingLanguageResearchers.
- Michael_Spivey type ResearchWorker110523076.
- Michael_Spivey type Scholar110557854.
- Michael_Spivey type Scientist110560637.
- Michael_Spivey type Whole100003553.
- Michael_Spivey type Writer110794014.
- Michael_Spivey type YagoLegalActor.
- Michael_Spivey type YagoLegalActorGeo.
- Michael_Spivey type Agent.
- Michael_Spivey type Person.
- Michael_Spivey type Person.
- Michael_Spivey type Q215627.
- Michael_Spivey type Q5.
- Michael_Spivey type Agent.
- Michael_Spivey type NaturalPerson.
- Michael_Spivey type Thing.
- Michael_Spivey type Person.
- Michael_Spivey comment "John Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford.Spivey was born in 1960 and educated at Archbishop Holgate's Grammar School in York, England.".
- Michael_Spivey label "Michael Spivey".
- Michael_Spivey sameAs m.02rpk7d.
- Michael_Spivey sameAs Q14946959.
- Michael_Spivey sameAs Q14946959.
- Michael_Spivey sameAs Michael_Spivey.
- Michael_Spivey wasDerivedFrom Michael_Spivey?oldid=595751140.
- Michael_Spivey givenName "Mike".
- Michael_Spivey homepage michael.spivey.
- Michael_Spivey isPrimaryTopicOf Michael_Spivey.
- Michael_Spivey name "Mike Spivey".
- Michael_Spivey name "Spivey, Mike".
- Michael_Spivey surname "Spivey".