Matches in DBpedia 2014 for { <http://dbpedia.org/resource/John_V._Tucker> ?p ?o. }
Showing items 1 to 79 of
79
with 100 items per page.
- John_V._Tucker abstract "John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. Computability theory is about what can and cannot be computed by people and machines. His work has focused on generalizing the classical theory to deal with all forms of discrete/digital and continuous/analogue data; and on using the generalizations as formal methods for system design; and on the interface between algorithms and physical equipment.".
- John_V._Tucker birthDate "1952".
- John_V._Tucker birthYear "1952".
- John_V._Tucker viafId "109781685".
- John_V._Tucker wikiPageExternalLink hocc.swan.ac.uk.
- John_V._Tucker wikiPageExternalLink homepage.php?staff=J.V.Tucker.
- John_V._Tucker wikiPageID "7628927".
- John_V._Tucker wikiPageRevisionID "592384917".
- John_V._Tucker dateOfBirth "1952".
- John_V._Tucker hasPhotoCollection John_V._Tucker.
- John_V._Tucker name "Tucker, John".
- John_V._Tucker shortDescription "Welsh computer scientist".
- John_V._Tucker description "Welsh computer scientist".
- John_V._Tucker description "Welsh computer scientist".
- John_V._Tucker subject Category:1952_births.
- John_V._Tucker subject Category:Academics_of_Swansea_University.
- John_V._Tucker subject Category:Alumni_of_the_University_of_Bristol.
- John_V._Tucker subject Category:Alumni_of_the_University_of_Warwick.
- John_V._Tucker subject Category:Fellows_of_the_British_Computer_Society.
- John_V._Tucker subject Category:Fellows_of_the_Learned_Society_of_Wales.
- John_V._Tucker subject Category:Formal_methods_people.
- John_V._Tucker subject Category:Living_people.
- John_V._Tucker subject Category:People_educated_at_Ysgol_Brynteg.
- John_V._Tucker subject Category:People_from_Cardiff.
- John_V._Tucker subject Category:Welsh_computer_scientists.
- John_V._Tucker type Academician109759069.
- John_V._Tucker type AcademicsOfSwanseaUniversity.
- John_V._Tucker type Adult109605289.
- John_V._Tucker type AlumniOfTheUniversityOfBristol.
- John_V._Tucker type AlumniOfTheUniversityOfWarwick.
- John_V._Tucker type Alumnus109786338.
- John_V._Tucker type Associate109816771.
- John_V._Tucker type CausalAgent100007347.
- John_V._Tucker type Colleague109935990.
- John_V._Tucker type ComputerScientist109951070.
- John_V._Tucker type ComputerUser109951274.
- John_V._Tucker type Educator110045713.
- John_V._Tucker type FellowsOfTheBritishComputerSociety.
- John_V._Tucker type FellowsOfTheLearnedSocietyOfWales.
- John_V._Tucker type FormalMethodsPeople.
- John_V._Tucker type Intellectual109621545.
- John_V._Tucker type LivingPeople.
- John_V._Tucker type LivingThing100004258.
- John_V._Tucker type Object100002684.
- John_V._Tucker type Organism100004475.
- John_V._Tucker type Peer109626238.
- John_V._Tucker type PeopleEducatedAtBryntegComprehensiveSchool.
- John_V._Tucker type PeopleFromCardiff.
- John_V._Tucker type Person100007846.
- John_V._Tucker type PhysicalEntity100001930.
- John_V._Tucker type Professional110480253.
- John_V._Tucker type Scholar110557854.
- John_V._Tucker type Scientist110560637.
- John_V._Tucker type WelshComputerScientists.
- John_V._Tucker type Whole100003553.
- John_V._Tucker type YagoLegalActor.
- John_V._Tucker type YagoLegalActorGeo.
- John_V._Tucker type Agent.
- John_V._Tucker type Person.
- John_V._Tucker type Person.
- John_V._Tucker type Q215627.
- John_V._Tucker type Q5.
- John_V._Tucker type Agent.
- John_V._Tucker type NaturalPerson.
- John_V._Tucker type Thing.
- John_V._Tucker type Person.
- John_V._Tucker comment "John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. Computability theory is about what can and cannot be computed by people and machines. His work has focused on generalizing the classical theory to deal with all forms of discrete/digital and continuous/analogue data; and on using the generalizations as formal methods for system design; and on the interface between algorithms and physical equipment.".
- John_V._Tucker label "John V. Tucker".
- John_V._Tucker sameAs m.0267662.
- John_V._Tucker sameAs Q6261682.
- John_V._Tucker sameAs Q6261682.
- John_V._Tucker sameAs 337843.
- John_V._Tucker sameAs John_V._Tucker.
- John_V._Tucker wasDerivedFrom John_V._Tucker?oldid=592384917.
- John_V._Tucker givenName "John".
- John_V._Tucker isPrimaryTopicOf John_V._Tucker.
- John_V._Tucker name "John Tucker".
- John_V._Tucker name "Tucker, John".
- John_V._Tucker surname "Tucker".