CyS - CIC

Trámites Gobierno

DIRECTORIO | CORREO | CALENDARIO | TRANSPARENCIA | PROTECCIÓN DE DATOS

A+ A- A

Author Details

Saab Lima, Isaque Macalam, Federal University of Rio de Janeiro, Programa de Engenharia de Sistemas e Computac¸ ˜ao e Instituto de Matemática, Brazil

Vol 21, No 3 (2017): Thematic issue: Advances in Logic-based Methods for Intelligent Systems (J. C. Nieves, E. Hermann Haeusler, B. Lopes) - Articles of the Thematic Issue
Action Models with Postconditions
Abstract PDF

ISSN: 2007-9737

Logotipo de la Secretaría de Educación Pública

INSTITUTO POLITÉCNICO NACIONAL

D.R. Instituto Politécnico Nacional (IPN). Av. Luis Enrique Erro S/N, Unidad Profesional Adolfo López Mateos, Zacatenco, Alcaldía Gustavo A. Madero, C.P. 07738, Ciudad de México. Conmutador: 55 57 29 60 00 / 55 57 29 63 00.

Esta página es una obra intelectual protegida por la Ley Federal del Derecho de Autor, puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica; su uso para otros fines, requiere autorización previa y por escrito de la Dirección General del Instituto.