AVANZADA

2 Artículos

Complete Axiomatizations for Reasoning about Knowledge and Time

Solicitud

usuarios registrados

Halpern, J. Y. van der Meyden, R. Vardi, M. Y. Pág. 674 - 703

Revista: SIAM JOURNAL ON COMPUTING Formato: Impreso

Tabla de contenido: Vol: 33 Num: 3 Par: 0 Año: 2004

« Anterior Página: 1 de 1 Siguiente »