| dbo:abstract
|
- لورانس بولسون (بالإنجليزية: Lawrence Paulson) هو مهندس وعالم حاسوب أمريكي، ولد في 1955. (ar)
- Lawrence Charles Paulson FRS (born 1955) is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge. (en)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthName
|
- Lawrence Charles Paulson (en)
|
| dbo:doctoralAdvisor
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 9020 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
|
- California Institute of Technology (en)
- Stanford University (en)
- (en)
|
| dbp:awards
| |
| dbp:birthName
|
- Lawrence Charles Paulson (en)
|
| dbp:caption
|
- Lawrence Paulson at the Royal Society admissions day in London, July 2017 (en)
|
| dbp:citizenship
| |
| dbp:doctoralAdvisor
| |
| dbp:fields
|
- Computer security (en)
- Formal methods (en)
- (en)
- Theorem proving (en)
|
| dbp:knownFor
|
- (en)
- Isabelle (en)
- ML (en)
- MetiTarski (en)
|
| dbp:name
| |
| dbp:spouse
|
- (en)
- Elena Tchougounova (en)
- Susan Mary Paulson (en)
|
| dbp:thesisTitle
|
- A Compiler Generator for Semantic Grammars (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
| |
| dct:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- لورانس بولسون (بالإنجليزية: Lawrence Paulson) هو مهندس وعالم حاسوب أمريكي، ولد في 1955. (ar)
- Lawrence Charles Paulson FRS (born 1955) is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge. (en)
|
| rdfs:label
|
- لورانس بولسون (ar)
- Lawrence Paulson (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:author
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:author
of | |
| is foaf:primaryTopic
of | |
