alemán
Klaus-Dieter Schewe es un académico y autor alemán conocido por su trabajo en teoría de autómatas y sistemas de computación. Su investigación ha contribuido significativamente al campo de la informática teórica.
1993·divulgacion
Un texto que cubre los fundamentos de la lógica matemática esencial para la informática, incluyendo lógica proposicional, lógica de predicados, lógica modal y su aplicación en verificación de software y sistemas.
Aparecen junto a Klaus-Dieter Schewe en búsquedas del archivo
