About: Larry Wos

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

About: Larry Wos Goto Sponge NotDistinct Permalink

An Entity of Type : yago:Whole100003553, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/78p1cvEPsP

Lawrence T. Wos (1930–2020) was an American mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratory.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal yago:WikicatAmericanComputerScientists yago:WikicatAmericanMathematicians yago:WikicatBlindAcademics animal eukaryote scientist species schema:Person yago:WikicatLivingPeople Scientist yago:Academician109759069 yago:Adult109605289 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Educator110045713 yago:LivingThing100004258 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553
rdfs:label	Larry Wos (de) Larry Wos (es) Larry Wos (it) Larry Wos (en)
rdfs:comment	Lawrence „Larry“ T. Wos (* 1930 in Chicago) ist ein US-amerikanischer Mathematiker, der sich mit automatischem Beweisen beschäftigt, also Techniken entwickelt, mit deren Hilfe ein Computerprogramm mathematische Beweise finden kann. (de) Larry Wos es un científico y matemático de la división de informático en el Laboratorio Nacional Argonne; ingresó a dicho laboratorio en febrero de 1957. Escribió más de 70 artículos sobre la automatización del razonamiento, ha dado cientos de conferencias sobre dicho tema, y por ello se ha renombrado el campo de confirmación (prueba) en un teorema básico de automatización "Teorema del razonamiento automatizado".Ha escrito seis libros, los más recientemente Un País Fascinante, El Mundo de Calcular y Guía al Razonamiento Automatizado, (Mundo Científico, -2000) y Obras completas dey Larry Wos, 2 vols., (Mundo Científico, 2001). (es) Lawrence T. Wos (1930–2020) was an American mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratory. (en) Larry Wos, all'anagrafe Lawrence Wos (Chicago, 13 luglio 1930 – 21 agosto 2020) è stato un matematico statunitense. È stato ricercatore presso la Divisione di matematica e informatica dell'Argonne National Laboratory. (it)
foaf:name	Larry Wos (en)
name	Larry Wos (en)
birth place	Chicago
death date	2020-08-21 (xsd:date)
birth place	Chicago
dct:subject	2020 deaths 1930 births 20th-century American mathematicians 21st-century American mathematicians University of Chicago alumni University of Illinois Urbana-Champaign alumni Academics from Chicago Blind academics
Wikipage page ID	27137230 (xsd:integer)
Wikipage revision ID	1106323002 (xsd:integer)
Link from a Wikipage to another Wikipage	2020 deaths Blindness Bowling Reinhold Baer University of Chicago University of Illinois at Urbana-Champaign 1930 births MIT Press Mathematician 20th-century American mathematicians 21st-century American mathematicians University of Chicago alumni University of Illinois Urbana-Champaign alumni American Mathematical Society Argonne National Laboratory Academics from Chicago Blind academics Chicago Herbrand Award Festschrift Automated deduction Theorem proving
Link from a Wikipage to an external page	http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wos:Larry.html https://www.ideals.illinois.edu/handle/2142/58680 https://web.archive.org/web/20200925213925/http:/aarinc.org/Newsletters/132-2020-09.html%23larrywos
sameAs	Larry Wos Larry Wos Larry Wos Larry Wos Larry Wos Larry Wos Larry Wos Larry Wos Larry Wos Larry Wos Larry Wos Larry Wos
thesis title	On Commutative Prime Power Subgroups of the Norm (en)
thesis url	https://www.ideals.illinois.edu/handle/2142/58680
thesis year	1957 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:ISBN

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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