estadounidense
Michael R. Genesereth es un destacado científico de la computación conocido por sus contribuciones en el campo de la inteligencia artificial y la lógica computacional. Es profesor en la Universidad de Stanford y ha sido influencia clave en el desarrollo de sistemas de información basada en el conocimiento.
1987·divulgacion
Este libro introduce los conceptos de la lógica matemática y su aplicación directa a los sistemas computacionales, explorando temas como la representación del conocimiento y la verificación formal.
Aparecen junto a Michael R. Genesereth en búsquedas del archivo
