Un modelo logico de la accion social.
Tesis doctoral de Pedro Miguel Navarro Sainz Datos académicos de la tesis doctoral «Un modelo logico de la accion […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
Sistemas vivos y sus modelos matematicos. modelizacion de un ecosistema.
Tesis doctoral de Miguel Lloret Climent En este trabajo se formalizan matematicamente y se estudian los aspectos mas importantes de
Conceptos modales e individuacion.
Tesis doctoral de Manuel Perez Otero El tema central de esta tesis es la distincion kripkeana entre dos dicotomias modales
Reducciones totales y parciales para el analisis de validez y construccion de modelos en m3.
Tesis doctoral de Gabriel Aguilera Venegas Esta tesis estudia la demostracion automatica de teoremas en logicas trivaluadas. Concretamente se presenta
Proof procedures for multiple-valued propositional logics.
Tesis doctoral de Felip Maña Serres En esta tesis se presentan procedimientos de prueba para logicas proposicionales multivaluadas. Se definen
El concepto de prueba matematica en las caracterizaciones filosofico-metodologicas de henri poincare e imre lakatos.
Tesis doctoral de María Pilar Beltran Orenes La tesis presentada realiza un analisis del concepto «demostracion o prueba matematica» desde
Resolucion sl*: un paradigma basado en resolucion lineal para la demostracion automatica.
Tesis doctoral de Casamayor Rodenas Juan Carlos El trabajo incluido en la presente tesis se enmarca dentro del campo de
Verificacio automatica de programes basada en semantica de comportament i logica de primer ordre: el metodo alice.
Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the
Similaridad intermundana y logica multicondicional.
Tesis doctoral de Javier Vilanova Arias Analisis logico (formal e informal) de los enunciados condicionales de los lenguajes naturales. Para
Agentes locales y autonomos en inteligencia artificial distribuida: coordinacion.
Tesis doctoral de Eduardo Alonso Fernandez La tesis se corresponde con el analisis conceptual de las interacciones en dominios de