DMCA

Algoritmos de Satisfactibildad y Model-Checking para la Lógica Temporal Proposicional: Comparación y Aplicación para la Representación de Conocimientos Temporales

Cached

Download Links

by Bettina Kemme , Facultad De Matematicas , Lehrstuhl Fur Kunstliche Intelligenz , Directores Prof , Prof Dr , Gunther Gorz
Citations:1 - 1 self