OPAC

Your search

Subject: Lógica temporal Year: 2012

Sort by Score Title Year -

1-10 from 12 results (0.076 seconds)

Title: Modelación matemática del problema de ruteo de vehículos con restricciones de múltiples depósitos, flota heterogénea de vehículos y ventanas de tiempos
Author: Herazo Padilla, Nilson
Language: Español
Repository: 57
Subject: Lógica / Matemática / Probabilidades / Modelación / Ingenieria industrial / Depósitos / Logic / Mathematics / probability / Modeling / Industrial engineer

Acceder
Title: DE LA MUDEZ DE LA PALABRA A LA ELOCUENCIA DEL GESTO. ALGUNAS OBSERVACIONES DE WITTGENSTEIN SOBRE ARTE
Author: Cáceres, Carolina / Universidad Santo Tomás
Language: Español
Repository: 40
Subject: Humanidades / Filosofía / Lógica / Arte / silencio / experiencia estética

AccederAcceder
Title: Argumentos didácticos a favor de los Tableaux Semánticos
Author: Simari, Guillermo Ricardo / Stankevicius, Alejandro G.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Lógica / programa de enseñanza / tableaux semántico / cálculo proposicional

Acceder
Title: Justification Logic as a foundation for certifying mobile computation
Author: Bonelli, Eduardo / Feller, Federico
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Curry-de Bruijn-Howard isomorphism / Justification Logic / Mobile computation / Typed lambda calculus / Lógica

Acceder
Title: Peter Strawson e os fundamentos da saturação e insaturação das partes sentenciais
Author: Felipe Martone de Faria
Language: Portugués
Repository: 17
Subject: Antologia / Filosofia / Lógica

Acceder
Title: Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
Author: Paganini, José Humberto / Vega, Ariel / Figueroa, Sebastián Marcos / Liberatori, Héctor / Rodríguez, Juan C.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Raise / RSL / Lógica / Tríptico del software / Base de datos deductivas

Acceder
Title: Sistema de apoio ao ensino de lógica e algoritmo
Author: Souza, Eliane Moreira Sá de / Dazzi, Rudimar Luís Scaranto
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Educación / Tecnología Educacional / Algoritmos / Lógica

Acceder
Title: SISTLOG : Protótipo de um sistema para auxiliar a avaliação da disciplina de algoritmos
Author: Miranda, Elisangela Maschio de / Dazzi, Rudimar Luís Scaranto
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / informática / Algorithms / ARTIFICIAL INTELLIGENCE / Algoritmos / Inteligência Artificial / Lógica / Avaliação

Acceder
Title: Actualización de bases de conocimiento en el contexto de horn como lenguaje de representación
Author: Luna, Carlos Daniel / Falappa, Marcelo Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Lógica / Programación en Lógica / Languages / Inteligencia Artificial / Teoría de Cambio de Creencias / Bases de Conocimiento

Acceder
Title: Pensando al Filo | Año 4 | Número 5
Author: Liceo "Víctor Mercante"
Language: Español
Repository: 37
Subject: Filosofía / Lógica / Psicología

AccederDescargar

« Previous 1 2 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search