Mostrando 1 - 2 Resultados de 2 Para Buscar 'Sacerdoti Coen, Claudio', tiempo de consulta: 0.11s Limitar resultados
  1. 1
    Enlace del recurso
    Intelligent computer mathematics: 12th international conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, proceedings
  2. 2
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Logic-Independent Proof Search in Logical Frameworks: (Short Paper)
Herramientas de búsqueda: RSS