Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada. Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. In Rogelio Dávila, Mauricio Osorio, Claudia Zepeda, editors, Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006. Volume 220 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]

This author has not been identified. Look up 'Mauricio Osorio' in GoogleThis author has not been identified. Look up 'José R. Arrazola Ramírez' in GoogleThis author has not been identified. Look up 'José Luis Carballido' in GoogleThis author has not been identified. Look up 'Oscar Estrada' in Google

runs on WebDSL