Larry Wos

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, 199A.C-2000) y Obras completas dey Larry Wos, 2 vols., (Mundo Científico, 2001). proporcionado por Wikipedia