Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/Category:Formal methods people
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/Category:Formal_methods_people
http://dbpedia.org/ontology/wikiPageID 2704353
http://dbpedia.org/ontology/wikiPageRevisionID 952540481
http://dbpedia.org/property/wikiPageUsesTemplate http://dbpedia.org/resource/Template:Commons_cat + , http://dbpedia.org/resource/Template:CatAutoTOC +
http://www.w3.org/2004/02/skos/core#broader http://dbpedia.org/resource/Category:Software_engineering_researchers + , http://dbpedia.org/resource/Category:Formal_methods + , http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
http://www.w3.org/2004/02/skos/core#prefLabel Formal methods people
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/Category:Formal_methods_people?oldid=952540481&ns=14 +
owl:sameAs http://dbpedia.org/resource/Category:Formal_methods_people +
rdf:type http://www.w3.org/2004/02/skos/core#Concept +
rdfs:label Formal methods people
hide properties that link here 
http://dbpedia.org/resource/Ralph-Johan_Back + , http://dbpedia.org/resource/Javier_Esparza + , http://dbpedia.org/resource/David_Harel + , http://dbpedia.org/resource/Edmund_M._Clarke + , http://dbpedia.org/resource/Amir_Pnueli + , http://dbpedia.org/resource/Dana_Scott + , http://dbpedia.org/resource/David_Gries + , http://dbpedia.org/resource/Robin_Milner + , http://dbpedia.org/resource/Formal_methods + , http://dbpedia.org/resource/Jawed_Siddiqi + , http://dbpedia.org/resource/Jean-Raymond_Abrial + , http://dbpedia.org/resource/Sergiy_Vilkomir + , http://dbpedia.org/resource/David_L._Dill + , http://dbpedia.org/resource/Lawrence_Paulson + , http://dbpedia.org/resource/Zhou_Chaochen + , http://dbpedia.org/resource/He_Jifeng + , http://dbpedia.org/resource/Anders_P._Ravn + , http://dbpedia.org/resource/Robert_Shostak + , http://dbpedia.org/resource/Gunther_Schmidt + , http://dbpedia.org/resource/Richard_Bornat + , http://dbpedia.org/resource/Edsger_W._Dijkstra + , http://dbpedia.org/resource/John_Guttag + , http://dbpedia.org/resource/J_Strother_Moore + , http://dbpedia.org/resource/Peter_Mosses + , http://dbpedia.org/resource/Grigore_Ro%C8%99u + , http://dbpedia.org/resource/Robert_S._Boyer + , http://dbpedia.org/resource/Cas_Cremers + , http://dbpedia.org/resource/Steve_Reeves_%28computer_scientist%29 + , http://dbpedia.org/resource/Martin_Henson + , http://dbpedia.org/resource/E._Allen_Emerson + , http://dbpedia.org/resource/Michael_Genesereth + , http://dbpedia.org/resource/Robert_France + , http://dbpedia.org/resource/Peter_Lucas_%28computer_scientist%29 + , http://dbpedia.org/resource/Rajeev_Alur + , http://dbpedia.org/resource/Michael_J._C._Gordon + , http://dbpedia.org/resource/Carl_Hewitt + , http://dbpedia.org/resource/Hussein_Zedan + , http://dbpedia.org/resource/Paritosh_Pandya + , http://dbpedia.org/resource/Helmut_Veith + , http://dbpedia.org/resource/John_C._Reynolds + , http://dbpedia.org/resource/Greg_Nelson_%28computer_scientist%29 + , http://dbpedia.org/resource/Leslie_Lamport + , http://dbpedia.org/resource/Bertrand_Meyer + , http://dbpedia.org/resource/Peter_O%27Hearn + , http://dbpedia.org/resource/Adriaan_van_Wijngaarden + , http://dbpedia.org/resource/Peter_Landin + , http://dbpedia.org/resource/Ole-Johan_Dahl + , http://dbpedia.org/resource/Don_Sannella + , http://dbpedia.org/resource/David_May_%28computer_scientist%29 + , http://dbpedia.org/resource/John_Fitzgerald_%28computer_scientist%29 + , http://dbpedia.org/resource/Michael_W._Shields + , http://dbpedia.org/resource/Dines_Bj%C3%B8rner + , http://dbpedia.org/resource/Faron_Moller + , http://dbpedia.org/resource/Tony_Hoare + , http://dbpedia.org/resource/Robert_Kowalski + , http://dbpedia.org/resource/John_Alan_Robinson + , http://dbpedia.org/resource/John_McCarthy_%28computer_scientist%29 + , http://dbpedia.org/resource/Ernst-R%C3%BCdiger_Olderog + , http://dbpedia.org/resource/Gerard_J._Holzmann + , http://dbpedia.org/resource/G._Mike_Reed + , http://dbpedia.org/resource/Michael_Hinchey + , http://dbpedia.org/resource/Robert_W._Floyd + , http://dbpedia.org/resource/Mathai_Joseph + , http://dbpedia.org/resource/Joe_Stoy + , http://dbpedia.org/resource/Eric_Hehner + , http://dbpedia.org/resource/Daniel_Jackson_%28computer_scientist%29 + , http://dbpedia.org/resource/Ken_Robinson_%28computer_scientist%29 + , http://dbpedia.org/resource/Klaus_Samelson + , http://dbpedia.org/resource/Evert_Willem_Beth + , http://dbpedia.org/resource/Martyn_Thomas + , http://dbpedia.org/resource/Tim_Denvir + , http://dbpedia.org/resource/Mark_Harman_%28computer_scientist%29 + , http://dbpedia.org/resource/Jeannette_Wing + , http://dbpedia.org/resource/Jan_Bergstra + , http://dbpedia.org/resource/David_Parnas + , http://dbpedia.org/resource/Luigi_Logrippo + , http://dbpedia.org/resource/Supratik_Chakraborty + , http://dbpedia.org/resource/David_Watt_%28computer_scientist%29 + , http://dbpedia.org/resource/Nancy_Leveson + , http://dbpedia.org/resource/Kaisa_Sere + , http://dbpedia.org/resource/Samson_Abramsky + , http://dbpedia.org/resource/Bill_Roscoe + , http://dbpedia.org/resource/Ursula_Martin + , http://dbpedia.org/resource/Cliff_Jones_%28computer_scientist%29 + , http://dbpedia.org/resource/Andrew_Martin_%28computer_scientist%29 + , http://dbpedia.org/resource/Steve_Schneider_%28computer_scientist%29 + , http://dbpedia.org/resource/Michael_Spivey + , http://dbpedia.org/resource/Michael_Goldsmith_%28computer_scientist%29 + , http://dbpedia.org/resource/Jim_Davies_%28computer_scientist%29 + , http://dbpedia.org/resource/Jim_Woodcock + , http://dbpedia.org/resource/Kevin_Lano + , http://dbpedia.org/resource/Michael_Butler_%28computer_scientist%29 + , http://dbpedia.org/resource/Ian_Bayley + , http://dbpedia.org/resource/Jane_Hillston + , http://dbpedia.org/resource/Insup_Lee + , http://dbpedia.org/resource/Eike_Best + , http://dbpedia.org/resource/F._X._Reid + , http://dbpedia.org/resource/Niklaus_Wirth + , http://dbpedia.org/resource/Jim_Horning + , http://dbpedia.org/resource/Mark_d%27Inverno + , http://dbpedia.org/resource/Egon_B%C3%B6rger + , http://dbpedia.org/resource/G%C3%A9rard_Huet + , http://dbpedia.org/resource/Carl_Adam_Petri + , http://dbpedia.org/resource/Carroll_Morgan_%28computer_scientist%29 + , http://dbpedia.org/resource/Fred_B._Schneider + , http://dbpedia.org/resource/Nikil_Dutt + , http://dbpedia.org/resource/Manfred_Broy + , http://dbpedia.org/resource/Harlan_Mills + , http://dbpedia.org/resource/Jonathan_Bowen + , http://dbpedia.org/resource/Michael_Fourman + , http://dbpedia.org/resource/Richard_Bird_%28computer_scientist%29 + , http://dbpedia.org/resource/Zhiming_Liu_%28computer_scientist%29 + , http://dbpedia.org/resource/Joost-Pieter_Katoen + , http://dbpedia.org/resource/Marta_Kwiatkowska + , http://dbpedia.org/resource/Radhia_Cousot + , http://dbpedia.org/resource/Bernhard_Steffen_%28computer_scientist%29 + , http://dbpedia.org/resource/Matt_Kaufmann + , http://dbpedia.org/resource/Rudolf_Berghammer + , http://dbpedia.org/resource/Joseph_Goguen + , http://dbpedia.org/resource/Juan_Pav%C3%B3n + , http://dbpedia.org/resource/J._Anthony_Hall + , http://dbpedia.org/resource/Augusto_Sampaio + , http://dbpedia.org/resource/Rod_Burstall + , http://dbpedia.org/resource/Philip_Wadler + , http://dbpedia.org/resource/John_Rushby + , http://dbpedia.org/resource/Christopher_Strachey + , http://dbpedia.org/resource/Tom_Maibaum + , http://dbpedia.org/resource/Andrew_D._Gordon + , http://dbpedia.org/resource/Gordon_Plotkin + , http://dbpedia.org/resource/Moshe_Vardi + , http://dbpedia.org/resource/Matthew_Hennessy + , http://dbpedia.org/resource/Donald_Angus_MacKenzie + , http://dbpedia.org/resource/Chris_Tofts + , http://dbpedia.org/resource/Krzysztof_R._Apt + , http://dbpedia.org/resource/John_V._Tucker + , http://dbpedia.org/resource/Charles_Leonard_Hamblin + , http://dbpedia.org/resource/Yuri_Gurevich + , http://dbpedia.org/resource/Michael_A._Jackson_%28computer_scientist%29 + http://dbpedia.org/ontology/wikiPageWikiLink
http://dbpedia.org/resource/Ralph-Johan_Back + , http://dbpedia.org/resource/Javier_Esparza + , http://dbpedia.org/resource/David_Harel + , http://dbpedia.org/resource/Edmund_M._Clarke + , http://dbpedia.org/resource/Amir_Pnueli + , http://dbpedia.org/resource/Dana_Scott + , http://dbpedia.org/resource/David_Gries + , http://dbpedia.org/resource/Robin_Milner + , http://dbpedia.org/resource/Jawed_Siddiqi + , http://dbpedia.org/resource/Jean-Raymond_Abrial + , http://dbpedia.org/resource/Sergiy_Vilkomir + , http://dbpedia.org/resource/David_L._Dill + , http://dbpedia.org/resource/Lawrence_Paulson + , http://dbpedia.org/resource/Zhou_Chaochen + , http://dbpedia.org/resource/He_Jifeng + , http://dbpedia.org/resource/Anders_P._Ravn + , http://dbpedia.org/resource/Robert_Shostak + , http://dbpedia.org/resource/Gunther_Schmidt + , http://dbpedia.org/resource/Richard_Bornat + , http://dbpedia.org/resource/Edsger_W._Dijkstra + , http://dbpedia.org/resource/John_Guttag + , http://dbpedia.org/resource/J_Strother_Moore + , http://dbpedia.org/resource/Peter_Mosses + , http://dbpedia.org/resource/Grigore_Ro%C8%99u + , http://dbpedia.org/resource/Robert_S._Boyer + , http://dbpedia.org/resource/Cas_Cremers + , http://dbpedia.org/resource/Steve_Reeves_%28computer_scientist%29 + , http://dbpedia.org/resource/Martin_Henson + , http://dbpedia.org/resource/E._Allen_Emerson + , http://dbpedia.org/resource/Michael_Genesereth + , http://dbpedia.org/resource/Robert_France + , http://dbpedia.org/resource/Peter_Lucas_%28computer_scientist%29 + , http://dbpedia.org/resource/Rajeev_Alur + , http://dbpedia.org/resource/Michael_J._C._Gordon + , http://dbpedia.org/resource/Carl_Hewitt + , http://dbpedia.org/resource/Hussein_Zedan + , http://dbpedia.org/resource/Paritosh_Pandya + , http://dbpedia.org/resource/Helmut_Veith + , http://dbpedia.org/resource/John_C._Reynolds + , http://dbpedia.org/resource/Greg_Nelson_%28computer_scientist%29 + , http://dbpedia.org/resource/Leslie_Lamport + , http://dbpedia.org/resource/Bertrand_Meyer + , http://dbpedia.org/resource/Peter_O%27Hearn + , http://dbpedia.org/resource/Adriaan_van_Wijngaarden + , http://dbpedia.org/resource/Peter_Landin + , http://dbpedia.org/resource/Ole-Johan_Dahl + , http://dbpedia.org/resource/Don_Sannella + , http://dbpedia.org/resource/David_May_%28computer_scientist%29 + , http://dbpedia.org/resource/John_Fitzgerald_%28computer_scientist%29 + , http://dbpedia.org/resource/Michael_W._Shields + , http://dbpedia.org/resource/Dines_Bj%C3%B8rner + , http://dbpedia.org/resource/Faron_Moller + , http://dbpedia.org/resource/Tony_Hoare + , http://dbpedia.org/resource/Robert_Kowalski + , http://dbpedia.org/resource/John_Alan_Robinson + , http://dbpedia.org/resource/John_McCarthy_%28computer_scientist%29 + , http://dbpedia.org/resource/Ernst-R%C3%BCdiger_Olderog + , http://dbpedia.org/resource/Gerard_J._Holzmann + , http://dbpedia.org/resource/G._Mike_Reed + , http://dbpedia.org/resource/Michael_Hinchey + , http://dbpedia.org/resource/Robert_W._Floyd + , http://dbpedia.org/resource/Mathai_Joseph + , http://dbpedia.org/resource/Joe_Stoy + , http://dbpedia.org/resource/Eric_Hehner + , http://dbpedia.org/resource/Daniel_Jackson_%28computer_scientist%29 + , http://dbpedia.org/resource/Ken_Robinson_%28computer_scientist%29 + , http://dbpedia.org/resource/Klaus_Samelson + , http://dbpedia.org/resource/Evert_Willem_Beth + , http://dbpedia.org/resource/Martyn_Thomas + , http://dbpedia.org/resource/Tim_Denvir + , http://dbpedia.org/resource/Mark_Harman_%28computer_scientist%29 + , http://dbpedia.org/resource/Jeannette_Wing + , http://dbpedia.org/resource/Jan_Bergstra + , http://dbpedia.org/resource/David_Parnas + , http://dbpedia.org/resource/Luigi_Logrippo + , http://dbpedia.org/resource/Supratik_Chakraborty + , http://dbpedia.org/resource/David_Watt_%28computer_scientist%29 + , http://dbpedia.org/resource/Nancy_Leveson + , http://dbpedia.org/resource/Kaisa_Sere + , http://dbpedia.org/resource/Samson_Abramsky + , http://dbpedia.org/resource/Bill_Roscoe + , http://dbpedia.org/resource/Ursula_Martin + , http://dbpedia.org/resource/Cliff_Jones_%28computer_scientist%29 + , http://dbpedia.org/resource/Andrew_Martin_%28computer_scientist%29 + , http://dbpedia.org/resource/Steve_Schneider_%28computer_scientist%29 + , http://dbpedia.org/resource/Michael_Spivey + , http://dbpedia.org/resource/Michael_Goldsmith_%28computer_scientist%29 + , http://dbpedia.org/resource/Jim_Davies_%28computer_scientist%29 + , http://dbpedia.org/resource/Jim_Woodcock + , http://dbpedia.org/resource/Kevin_Lano + , http://dbpedia.org/resource/Michael_Butler_%28computer_scientist%29 + , http://dbpedia.org/resource/Ian_Bayley + , http://dbpedia.org/resource/Jane_Hillston + , http://dbpedia.org/resource/Insup_Lee + , http://dbpedia.org/resource/Eike_Best + , http://dbpedia.org/resource/F._X._Reid + , http://dbpedia.org/resource/Niklaus_Wirth + , http://dbpedia.org/resource/Jim_Horning + , http://dbpedia.org/resource/Mark_d%27Inverno + , http://dbpedia.org/resource/Egon_B%C3%B6rger + , http://dbpedia.org/resource/G%C3%A9rard_Huet + , http://dbpedia.org/resource/Carl_Adam_Petri + , http://dbpedia.org/resource/Carroll_Morgan_%28computer_scientist%29 + , http://dbpedia.org/resource/Fred_B._Schneider + , http://dbpedia.org/resource/Nikil_Dutt + , http://dbpedia.org/resource/Manfred_Broy + , http://dbpedia.org/resource/Harlan_Mills + , http://dbpedia.org/resource/Jonathan_Bowen + , http://dbpedia.org/resource/Michael_Fourman + , http://dbpedia.org/resource/Richard_Bird_%28computer_scientist%29 + , http://dbpedia.org/resource/Zhiming_Liu_%28computer_scientist%29 + , http://dbpedia.org/resource/Joost-Pieter_Katoen + , http://dbpedia.org/resource/Marta_Kwiatkowska + , http://dbpedia.org/resource/Radhia_Cousot + , http://dbpedia.org/resource/Bernhard_Steffen_%28computer_scientist%29 + , http://dbpedia.org/resource/Matt_Kaufmann + , http://dbpedia.org/resource/Rudolf_Berghammer + , http://dbpedia.org/resource/Joseph_Goguen + , http://dbpedia.org/resource/Juan_Pav%C3%B3n + , http://dbpedia.org/resource/J._Anthony_Hall + , http://dbpedia.org/resource/Augusto_Sampaio + , http://dbpedia.org/resource/Rod_Burstall + , http://dbpedia.org/resource/Philip_Wadler + , http://dbpedia.org/resource/John_Rushby + , http://dbpedia.org/resource/Christopher_Strachey + , http://dbpedia.org/resource/Tom_Maibaum + , http://dbpedia.org/resource/Andrew_D._Gordon + , http://dbpedia.org/resource/Gordon_Plotkin + , http://dbpedia.org/resource/Moshe_Vardi + , http://dbpedia.org/resource/Matthew_Hennessy + , http://dbpedia.org/resource/Donald_Angus_MacKenzie + , http://dbpedia.org/resource/Chris_Tofts + , http://dbpedia.org/resource/Krzysztof_R._Apt + , http://dbpedia.org/resource/John_V._Tucker + , http://dbpedia.org/resource/Charles_Leonard_Hamblin + , http://dbpedia.org/resource/Yuri_Gurevich + , http://dbpedia.org/resource/Michael_A._Jackson_%28computer_scientist%29 + , http://dbpedia.org/resource/Ib_S%C3%B8rensen + http://purl.org/dc/terms/subject
http://dbpedia.org/resource/Category:Members_of_the_Department_of_Computer_Science%2C_University_of_Oxford + , http://dbpedia.org/resource/Category:Logic_programming_researchers + http://www.w3.org/2004/02/skos/core#broader
http://dbpedia.org/resource/Category:Formal_methods_people + owl:sameAs
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/http:-2F-2Fdbpedia.org-2Fresource-2FCategory:Formal_methods_people"