Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

FFI2009-09345

Financiado

Presupuesto del proyecto 48K€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.

Software Applied Physics
Artificial Intelligence Data Science Mathematics Computer Science

Palabras clave Extraídas de toda la información encontrada de este proyecto

#completeness #logic #computational capacity #pure and applied logics #algebraic logics #demonstrations of completeness #incompleteness #expressive capacity

Participantes

USAL

Lider

Últimas noticias

07-02-2025: Satélites y Sistemas... Se abre la línea de ayuda pública: Incentivos para el desarrollo de proyectos y actividades de investigación e innovación de nuevos satélites o sistemas satelitales en Andalucía para el organismo: IDEA

06-02-2025: Digitalización Pymes Se abre la línea de ayuda pública: Ayudas para la puesta en marcha por las pymes industriales madrileñas de proyectos de digitalización para el organismo:

05-02-2025: Cataluña Industria 4... Se abre la línea de ayuda pública: Préstamos en condiciones preferentes para la financiación de proyectos de inversión y desarrollo industrial para el organismo: ICF