Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza […]
Tesis doctoral de Jaume Agustí Cullell
Información academica Jaume Agustí Cullell. Tesis donde Jaume Agustí Cullell ha sido autor, director o parte del tribunal.
Trust and reputation for agent societies
Tesis doctoral de Jordi Sabater Mir Datos académicos de la tesis doctoral «Trust and reputation for agent societies« Título
Studies of dinamics of physical agents ecosystems
Tesis doctoral de Israel Muñoz Moreno Esta tesis doctoral aborda el problema del aprendizaje en sistemas multi-agente físicos y heterogéneos
Un llenguatge visual de programació lógica
Tesis doctoral de Jordi Puigsegur Figueras Datos académicos de la tesis doctoral «Un llenguatge visual de programació lógica« Título
Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica
Tesis doctoral de Manuel Carro Liñares En esta tesis se estudian medios para solventar algunos de los problemas de la
Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas
Tesis doctoral de Pedro Jesús Martin De La Calle Las tesis presenta sistemas de tableaux para tres extensiones de la
Pragmatica de la sintesis de programas lógicos
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones
On specifyng and reasoning with special relations.
Tesis doctoral de Wernher Marco Schorlemmer Datos académicos de la tesis doctoral «On specifyng and reasoning with special relations.«
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
Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal