1. DIGITAL.CSIC

Esteva, Francesc

Colaboraciones Ver estadísticas de uso Alertas por Email RSS

Perfil

P1000156.jpg picture
 
Firma en Digital.CSIC (*)
Esteva, Francesc
 
Otras firmas
Esteva Massager, Francisco
 
Centro o Instituto
CSIC - Instituto de Investigación en Inteligencia artificial (IIIA)
 
Departamento
Departamento de Razonamiento y Lógica
 
Categoría Profesional
Profesor vinculado ad honorem
 
Especialización
Inteligencia Artificial
 
Email
esteva@iiia.csic.es
 
ORCID
 
Página web
 
Otros identificadores (con url)
 

Publications

Refined By:
Autor:  Cerami, Marco

Resultados 1-2 de 2.

DerechosPreviewFecha Public.TítuloAutor(es)Tipo
1openAccess2013On the implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT SolversAlsinet, Teresa; Barroso, David; Bejar, Ramon; Bou, Felix CSIC; Cerami, Marco; Esteva, Francesc CSIC ORCID comunicación de congreso
2openAccessCOMUNICACIONES_A_CONGRESOS293776[1].pdf.jpg2010First order SMTL logic and quasi-witnessed modelsCerami, Marco; Esteva, Francesc CSIC ORCID comunicación de congreso