Výsledky vyhledávání - "Razonamiento automático"

Diseño de un sistema genérico de Solvers para el modelado y razonamiento en herramientas de ingeniería de líneas de productos

Autor: Piedrahíta Vélez, Francisco José

Las líneas de productos (PL, por sus siglas en inglés) constituyen entidades complejas, y para gestionar proyectos basados en esta metodología, se requieren herramientas que simplifiquen la enorme complejidad de configurar cientos de productos com

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2653::6c97dd69cd022ce1523d7d2b2e3e146f
http://hdl.handle.net/10784/32674

Zobrazit plný text záznamu

Herramientas de Razonamiento Automático en GeoGebra [Recurso electrónico]: qué son y para qué sirven

Autor: Recio, Tomás., Vaerenbergh, Steven van., Vélez Melón, M. Pilar., Universidad Antonio de Nebrija. Grupo Nebrija de Investigación en Matemáticas y sus Aplicaciones (MA)

Publikováno v: Repositorio Nebrija
Universidad de Nebrija

El popular programa de matemática dinámica GeoGebra incluye herramientas para la verificación matemática rigurosa y el descubrimiento automático de proposiciones generales sobre figuras geométricas. En este trabajo se presenta, en primer lugar,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::15afeedf7161eb7c66b172cc42c031cc
https://biblioteca.nebrija.es/cgi-bin/repositorio/?TITN=125034

Zobrazit plný text záznamu

Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías

Autor: Orbe, Alejandro Ezequiel

Publikováno v: Repositorio Digital Universitario (UNC)
Universidad Nacional de Córdoba
instacron:UNC

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. En esta tesis investigamos el uso de simetrías en el contexto de lógicas modales y de satisfacibilidad módulo teoría

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::69560fc081d95412714f1224ee1c8599

Zobrazit plný text záznamu

Termination of Narrowing: Automated Proofs and Modularity Properties

Autor: José Iborra López

Publikováno v: Riunet
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

En 1936 Alan Turing demostro que el halting problem, esto es, el problema de decidirsi un programa termina o no, es un problema indecidible para la inmensa mayoria delos lenguajes de programacion. A pesar de ello, la terminacion es un problema tanrel

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89bee2657460f3c47d91f9e09455de0b
http://hdl.handle.net/10251/19251

Zobrazit plný text záznamu

Dissertation/ Thesis

Termination of Narrowing: Automated Proofs and Modularity Properties

Autor: Iborra López, José

Publikováno v: Riunet.

En 1936 Alan Turing demostro que el halting problem, esto es, el problema de decidir si un programa termina o no, es un problema indecidible para la inmensa mayoria de los lenguajes de programacion. A pesar de ello, la terminacion es un problema tan

Externí odkaz: http://hdl.handle.net/10251/19251

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání