Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Jan_Bergstra> ?p ?o. }
Showing items 1 to 79 of
79
with 100 items per page.
- Jan_Bergstra abstract "Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.[citation needed]".
- Jan_Bergstra birthDate "1951".
- Jan_Bergstra birthPlace Netherlands.
- Jan_Bergstra birthPlace Rotterdam.
- Jan_Bergstra birthYear "1951".
- Jan_Bergstra viafId "18127576".
- Jan_Bergstra wikiPageExternalLink mjb00.html.
- Jan_Bergstra wikiPageExternalLink ~janb.
- Jan_Bergstra wikiPageID "8136798".
- Jan_Bergstra wikiPageRevisionID "582765080".
- Jan_Bergstra dateOfBirth "1951".
- Jan_Bergstra hasPhotoCollection Jan_Bergstra.
- Jan_Bergstra name "Bergstra, Jan".
- Jan_Bergstra placeOfBirth Netherlands.
- Jan_Bergstra placeOfBirth Rotterdam.
- Jan_Bergstra shortDescription "Computer scientist".
- Jan_Bergstra description "Computer scientist".
- Jan_Bergstra description "Computer scientist".
- Jan_Bergstra subject Category:1951_births.
- Jan_Bergstra subject Category:Academics_of_Swansea_University.
- Jan_Bergstra subject Category:Dutch_computer_scientists.
- Jan_Bergstra subject Category:Formal_methods_people.
- Jan_Bergstra subject Category:Leiden_University_faculty.
- Jan_Bergstra subject Category:Living_people.
- Jan_Bergstra subject Category:Members_of_Academia_Europaea.
- Jan_Bergstra subject Category:People_from_Rotterdam.
- Jan_Bergstra subject Category:Philips_employees.
- Jan_Bergstra subject Category:University_of_Amsterdam_faculty.
- Jan_Bergstra subject Category:Utrecht_University_alumni.
- Jan_Bergstra subject Category:Utrecht_University_faculty.
- Jan_Bergstra type Academician109759069.
- Jan_Bergstra type AcademicsOfSwanseaUniversity.
- Jan_Bergstra type Adult109605289.
- Jan_Bergstra type Alumnus109786338.
- Jan_Bergstra type CausalAgent100007347.
- Jan_Bergstra type ComputerScientist109951070.
- Jan_Bergstra type ComputerUser109951274.
- Jan_Bergstra type DutchComputerScientists.
- Jan_Bergstra type Educator110045713.
- Jan_Bergstra type Employee110053808.
- Jan_Bergstra type FormalMethodsPeople.
- Jan_Bergstra type Intellectual109621545.
- Jan_Bergstra type LivingPeople.
- Jan_Bergstra type LivingThing100004258.
- Jan_Bergstra type Object100002684.
- Jan_Bergstra type Organism100004475.
- Jan_Bergstra type PeopleFromRotterdam.
- Jan_Bergstra type Person100007846.
- Jan_Bergstra type PhilipsEmployees.
- Jan_Bergstra type PhysicalEntity100001930.
- Jan_Bergstra type Professional110480253.
- Jan_Bergstra type Scholar110557854.
- Jan_Bergstra type Scientist110560637.
- Jan_Bergstra type UtrechtUniversityAlumni.
- Jan_Bergstra type Whole100003553.
- Jan_Bergstra type Worker109632518.
- Jan_Bergstra type YagoLegalActor.
- Jan_Bergstra type YagoLegalActorGeo.
- Jan_Bergstra type Agent.
- Jan_Bergstra type Person.
- Jan_Bergstra type Person.
- Jan_Bergstra type Q215627.
- Jan_Bergstra type Q5.
- Jan_Bergstra type Agent.
- Jan_Bergstra type NaturalPerson.
- Jan_Bergstra type Thing.
- Jan_Bergstra type Person.
- Jan_Bergstra comment "Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.[citation needed]".
- Jan_Bergstra label "Jan Bergstra".
- Jan_Bergstra sameAs m.026syd0.
- Jan_Bergstra sameAs Q15462007.
- Jan_Bergstra sameAs Q15462007.
- Jan_Bergstra sameAs Jan_Bergstra.
- Jan_Bergstra wasDerivedFrom Jan_Bergstra?oldid=582765080.
- Jan_Bergstra givenName "Jan".
- Jan_Bergstra isPrimaryTopicOf Jan_Bergstra.
- Jan_Bergstra name "Bergstra, Jan".
- Jan_Bergstra name "Jan Bergstra".
- Jan_Bergstra surname "Bergstra".