About: Lawrence Paulson

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Lawrence Paulson Goto Sponge NotDistinct Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)

Type:

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FLawrence_Paulson

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal yago:WikicatAmericanComputerScientists animal eukaryote scientist species schema:Person yago:WikicatLivingPeople yago:WikicatStanfordUniversityAlumni Scientist yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatFellowsOfClareCollege,Cambridge yago:WikicatFellowsOfTheAssociationForComputingMachinery yago:WikicatFormalMethodsPeople umbel-rc:Scientist
rdfs:label	لورانس بولسون (ar) Lawrence Paulson (en)
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)
foaf:name	Lawrence Paulson (en)
name	Lawrence Paulson (en)
foaf:depiction
dcterms:subject	Members of the University of Cambridge Computer Laboratory Living people 1955 births American computer scientists California Institute of Technology alumni Fellows of the Royal Society Stanford University alumni Fellows of the Association for Computing Machinery Fellows of Clare College, Cambridge Formal methods people
Wikipage page ID	3174690 (xsd:integer)
Wikipage revision ID	1095018658 (xsd:integer)
Link from a Wikipage to another Wikipage	California Institute of Technology Royal Society Members of the University of Cambridge Computer Laboratory University of Cambridge Living people Computer security Constructible universe Cryptography Clare College, Cambridge ML (programming language) Stanford University Compiler-compiler Computational logic Computer Science Tripos Computer scientist Fellow Functional programming Professor Automated theorem proving 1955 births American computer scientists California Institute of Technology alumni Fellows of the Royal Society Stanford University alumni ACM Fellow Formal methods Isabelle (proof assistant) Technical University of Munich Fellows of the Association for Computing Machinery Fellows of Clare College, Cambridge Formal methods people Alan Mycroft John L. Hennessy Kurt Gödel Programming language Isabelle theorem prover List of Fellows of the Royal Society elected in 2017 University of Cambridge Computer Laboratory Inductive definition
Link from a Wikipage to an external page	http://search.proquest.com/docview/303229537
sameAs	Lawrence Paulson Lawrence Paulson

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 50 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software