Copertina

Semánticas de punto fijo para programas anotados. Una realización por Mho-resolución

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Carlos Ernesto Ramírez
Natura:	Artículo científico
Lingua:	es
Pubblicazione:	Escuela Regional de Matemáticas 2008
Soggetti:	Física, Astronomía y Matemáticas hiper resolución Puntos fijos lógicas anotadas programación lógica
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Un sistema de restricciones anotado
di: Carlos Ernesto Ramírez Ovalle
Pubblicazione: (2009)

Una medida de no convexidad, funciones contractivas y teoremas de punto fijo
di: Nieves Amoretti
Pubblicazione: (2001)

PROBLEMAS DE DECISIÓN Y RECURSIVIDAD EN SISTEMAS LÓGICOS FORMALES
di: IVETH MARTÍNEZ
Pubblicazione: (2016)

Compilador y traductor de pseudocódigo para la lógica de programación (CompiProgramación)
di: CARLOS ALBERTO VANEGAS
Pubblicazione: (2005)

Un enfoque Genérico y cooperativo para la resolución de restricciones de intervalo
di: Antonio J. Fernández
Pubblicazione: (2005)

Control de tráfico vehicular usando ANFIS
di: Luis Fernando Pedraza
Pubblicazione: (2012)

Introducción a la función punto medio en continuos
di: María de Jesús López
Pubblicazione: (2016)

Máquinas de Turing paraconsistentes: una posible definición
di: Juan C. Agudelo
Pubblicazione: (2004)

Generalización del Método Puntos de Función utilizando lógica difusa
di: Liannis Soria Barreda
Pubblicazione: (2016)

Preference structures, choice functions and their logical form
di: María Isabel Rodríguez Galiano
Pubblicazione: (2002)

Las leyes de tercero excluido y contradicción como valores límite en lógica difusa
di: Omar Salazar Morales
Pubblicazione: (2011)

Criterios parciales de logicidad
di: Janusz Maciaszek
Pubblicazione: (2005)

Desacuerdo en lógica
di: Omar Hildebrando Vásquez Dávila
Pubblicazione: (2019)

Síntesis de puntos cuánticos de CdTe mediante la técnica de ablación láser de sólidos en líquidos
di: M. A. Camacho López
Pubblicazione: (2014)

Intercomparación bilateral entre LATU y PTB de calibración en puntos fijos (ITS-90) del Zn al Hg de un SPRT con PTB como laboratorio piloto
di: O. Robatto
Pubblicazione: (2009)

SOBRE A LÓGICA NO PROGRAMA FILOSOFIA PARA CRIANÇAS
di: Cesar Catalani
Pubblicazione: (2009)

Contra el pluralismo lógico modalista
di: Diego Ezequiel Tajer
Pubblicazione: (2016)

TECNOLOGIA, ORGANIZAÇÃO DO TRABALHO E CUSTO COGNITIVO: AÇÃO ERGONÔMICA EM UM NÚCLEO DE SEGURANÇA DA INFORMAÇÃO
di: Wladimir Jatobá de Menezes
Pubblicazione: (2016)

Propuesta de evaluación del alumnado en educación física. Un enfoque desde la Praxiología Motriz
di: Javier Sampedro Molinuevo
Pubblicazione: (2009)

Método de resolución de problemas y rendimiento académico en lógica matemática
di: Flaviano Armando Zenteno Ruiz
Pubblicazione: (2017)

La lógica y sus aplicaciones: ¿platonismo o no-platonismo?
di: Otávio Bueno
Pubblicazione: (2019)

El punto "C" de los Algoritmos. Los Algoritmos y la Inteligencia Lógico Matemáticas
di: Freddy Arturo Briceño Díaz
Pubblicazione: (2006)

La lógica del don en el horizonte de la sociedad civil
di: ÁNGEL GALINDO GARCÍA
Pubblicazione: (2013)

IMPLEMENTACIÓN DE CIRCUITOS NEUMÁTICOS MEDIANTE EL USO DE LÓGICA NEUMÁTICA
di: JOSÉ AGUSTÍN MURIEL ESCOBAR
Pubblicazione: (2010)

Lógica y creatividad: un acercamiento a su relación.
di: María Concepción González Basanta
Pubblicazione: (2007)

Sobre el concepto de libertad de Hegel
di: Franz Ungler
Pubblicazione: (2022)

¿Qué tan matemática es la lógica matemática?
di: AXEL A. BARCELÓ ASPEITIA
Pubblicazione: (2003)

Un método de árboles para la lógica de términos modal
di: J.-Martín Castro-Manzano
Pubblicazione: (2020)

Jean Van Heijenoort: Una vida azarosa, digna de muchas novelas.
di: Vernor Arguedas
Pubblicazione: (2016)

Generalization of rakotch’s fixed point theorem
di: Jose R Morales
Pubblicazione: (2002)

Dispersión en moléculas artificiales auto-ensambladas
di: M. Adames
Pubblicazione: (2007)

La lógica matemática: una disciplina en busca de encuadre
di: José FERREIRÓS
Pubblicazione: (2010)

Esclareciendo el concepto de lógica deóntica
di: Hugo José Francisco Velázquez
Pubblicazione: (2021)

Algunas lógicas modales asociadas al razonamiento de agentes inteligentes
di: Manuel Sierra A.
Pubblicazione: (2008)

Forma y movimiento en los estudios literarios
di: Roy Alfaro Vargas
Pubblicazione: (2007)

Emergencia de las profesiones sociales: de la dimensión discursiva a la dimensión política, ética y práctica
di: Juan Sáez Carreras
Pubblicazione: (2003)

Modelando un punto cuántico: una aproximación pedagógica
di: H.E. Caicedo-Ortiz
Pubblicazione: (2015)

Dispositivo láser semiconductor con puntos cuánticos para emisión en el cercano infrarrojo
di: J. V. González-Fernández
Pubblicazione: (2019)

Diseño y simulación de un controlador difuso de temperatura empleando el concresor basado en relaciones booleanas
di: HELBERT EDUARDO ESPITIA C.
Pubblicazione: (2012)

El Sacrificio como clave de unidad en la obra de Simone Weil
di: Alejandra Novoa Echaurren
Pubblicazione: (2021)