J Strother Moore - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual Alumnus of the University of Edinburgh American computer scientist Fellow of the Association for Computing Machinery Living person Member of the National Academy of Engineering (Computer science) Member of the United States National Academy of Engineering Person with surname Moore
rdfs:label	J Strother Moore
owl:sameAs	dbr:J_Strother_Moore
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_people_with_surname_Moore http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:Members_of_the_United_States_National_Academy_of_Engineering http://en.wikipedia.org/wiki/List_of_members_of_the_National_Academy_of_Engineering_(Computer_science)
skos:prefLabel	J Strother Moore
skos:altLabel	J Moore J. Strother Moore
is clgo:designer of	ACL2
is clgo:developer of	ACL2
is clgo:doctoralStudent of	Rod Burstall

About: clgr:J_Strother_Moore