Larry Wos

http://dbpedia.org/resource/Larry_Wos an entity of type: Thing

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. rdf:langString

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). rdf:langString

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

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. rdf:langString

rdfs:label

rdf:langString Larry Wos

foaf:name

rdf:langString Larry Wos

dbpprop:name

rdf:langString Larry Wos

dbpedia-owl:deathDate

xsd:date 2020-08-21

dbpedia-owl:wikiPageID

xsd:integer 27137230

dbpedia-owl:wikiPageRevisionID

xsd:integer 1106323002

dbpprop:thesisTitle

rdf:langString On Commutative Prime Power Subgroups of the Norm

dbpprop:thesisYear

xsd:integer 1957

dbpprop:awards

rdf:langString Herbrand Award

dbpprop:birthDate

xsd:integer 1930

dbpprop:birthName

rdf:langString Lawrence T. Wos

dbpprop:deathDate

xsd:date 2020-08-21

dbpedia-owl:abstract

rdf:langString 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.

rdf:langString 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).

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

rdf:langString 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.

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 4182

dbpedia-owl:birthName

rdf:langString Lawrence T. Wos

rdf:type

owl:Thing

foaf:Person

dbpedia-owl:Person

<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>

<http://www.wikidata.org/entity/Q19088>

<http://www.wikidata.org/entity/Q215627>

<http://www.wikidata.org/entity/Q5>