Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Vaughan_Pratt> ?p ?o. }
Showing items 1 to 72 of
72
with 100 items per page.
- Vaughan_Pratt abstract "Vaughan Ronald Pratt (born 1944), a Professor Emeritus at Stanford University, was one of the earliest pioneers in the field of computer science. Publishing since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently his research has focused on formal modeling of concurrent systems and Chu spaces. A pattern of applying models from diverse areas of mathematics such as geometry, linear algebra, abstract algebra, and especially mathematical logic to computer science pervades his work.".
- Vaughan_Pratt birthDate "1944".
- Vaughan_Pratt birthYear "1944".
- Vaughan_Pratt thumbnail VaughanPratt.JPG?width=300.
- Vaughan_Pratt wikiPageExternalLink abstracts.html.
- Vaughan_Pratt wikiPageExternalLink pratt.html.
- Vaughan_Pratt wikiPageExternalLink tdop.html.
- Vaughan_Pratt wikiPageExternalLink www.tiqit.com.
- Vaughan_Pratt wikiPageID "1597977".
- Vaughan_Pratt wikiPageRevisionID "602713541".
- Vaughan_Pratt dateOfBirth "1944".
- Vaughan_Pratt hasPhotoCollection Vaughan_Pratt.
- Vaughan_Pratt name "Pratt, Vaughan".
- Vaughan_Pratt shortDescription "Australian computer scientist".
- Vaughan_Pratt description "Australian computer scientist".
- Vaughan_Pratt description "Australian computer scientist".
- Vaughan_Pratt subject Category:1944_births.
- Vaughan_Pratt subject Category:Australian_computer_scientists.
- Vaughan_Pratt subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Vaughan_Pratt subject Category:Living_people.
- Vaughan_Pratt subject Category:Stanford_University_School_of_Engineering_faculty.
- Vaughan_Pratt subject Category:Stanford_University_alumni.
- Vaughan_Pratt subject Category:Theoretical_computer_scientists.
- Vaughan_Pratt type Alumnus109786338.
- Vaughan_Pratt type Associate109816771.
- Vaughan_Pratt type AustralianComputerScientists.
- Vaughan_Pratt type CausalAgent100007347.
- Vaughan_Pratt type Colleague109935990.
- Vaughan_Pratt type ComputerScientist109951070.
- Vaughan_Pratt type ComputerUser109951274.
- Vaughan_Pratt type FellowsOfTheAssociationForComputingMachinery.
- Vaughan_Pratt type Intellectual109621545.
- Vaughan_Pratt type LivingPeople.
- Vaughan_Pratt type LivingThing100004258.
- Vaughan_Pratt type Object100002684.
- Vaughan_Pratt type Organism100004475.
- Vaughan_Pratt type Peer109626238.
- Vaughan_Pratt type Person100007846.
- Vaughan_Pratt type PhysicalEntity100001930.
- Vaughan_Pratt type Scholar110557854.
- Vaughan_Pratt type Scientist110560637.
- Vaughan_Pratt type StanfordUniversityAlumni.
- Vaughan_Pratt type TheoreticalComputerScientists.
- Vaughan_Pratt type Whole100003553.
- Vaughan_Pratt type YagoLegalActor.
- Vaughan_Pratt type YagoLegalActorGeo.
- Vaughan_Pratt type Agent.
- Vaughan_Pratt type Person.
- Vaughan_Pratt type Person.
- Vaughan_Pratt type Q215627.
- Vaughan_Pratt type Q5.
- Vaughan_Pratt type Agent.
- Vaughan_Pratt type NaturalPerson.
- Vaughan_Pratt type Thing.
- Vaughan_Pratt type Person.
- Vaughan_Pratt comment "Vaughan Ronald Pratt (born 1944), a Professor Emeritus at Stanford University, was one of the earliest pioneers in the field of computer science. Publishing since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently his research has focused on formal modeling of concurrent systems and Chu spaces.".
- Vaughan_Pratt label "Vaughan Pratt".
- Vaughan_Pratt label "Vaughan Pratt".
- Vaughan_Pratt label "Vaughan Ronald Pratt".
- Vaughan_Pratt sameAs Vaughan_Ronald_Pratt.
- Vaughan_Pratt sameAs Vaughan_Pratt.
- Vaughan_Pratt sameAs m.05fh4l.
- Vaughan_Pratt sameAs Q7917308.
- Vaughan_Pratt sameAs Q7917308.
- Vaughan_Pratt sameAs Vaughan_Pratt.
- Vaughan_Pratt wasDerivedFrom Vaughan_Pratt?oldid=602713541.
- Vaughan_Pratt depiction VaughanPratt.JPG.
- Vaughan_Pratt givenName "Vaughan".
- Vaughan_Pratt isPrimaryTopicOf Vaughan_Pratt.
- Vaughan_Pratt name "Pratt, Vaughan".
- Vaughan_Pratt name "Vaughan Pratt".
- Vaughan_Pratt surname "Pratt".
