1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

International audience

Pertenece a

Archive EduTice a CCSD electronic archive server based on P.A.O.L  

Autor(es)

Balco , Samuel -  Frittella , Sabine -  Greco , Giuseppe -  Kurz , Alexander -  Palmigiano , Alessandra - 

Id.: 71530729

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Palabras clave[ INFO.INFO -  LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] - 

Cobertura:  Oxford , United Kingdom - 

Tipo de recurso: info:eu-repo/semantics/conferenceObject  -  Conference papers  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

Requerimientos técnicos:  Browser: Any - 

Relación: [IsBasedOn] 9th International Conference on Interactive Theorem Proving
[IsBasedOn] https://hal.archives-ouvertes.fr/hal-01836507
[IsBasedOn] 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom

Fecha de contribución: 14-jul-2018

Contacto:

Localización:
* hal-01836507

Otros recursos del mismo autor(es)

  1. Optimizing searches for electromagnetic counterparts of gravitational wave triggers With the detection of a binary neutron star system and its corresponding electromagnetic counterpart...
  2. Optimizing searches for electromagnetic counterparts of gravitational wave triggers With the detection of a binary neutron star system and its corresponding electromagnetic counterpart...
  3. Excess of rare coding variants in PLD3 in late-but not early-onset Alzheimer's disease International audience
  4. Toward an Epistemic-Logical Theory of Categorization International audience
  5. All-sky Search for Periodic Gravitational Waves in the O1 LIGO Data International audience

Otros recursos de la mismacolección

  1. Online Handwritten Character Recognition of Devanagari and Telugu Characters using Support Vector Machines http://www.suvisoft.com
  2. FPGA based Agile Algorithm-On-Demand Co-Processor Submitted on behalf of EDAA (http://www.edaa.com/)
  3. NLP-based scripting for CALL activities This article focuses on the development of Natural Language Processing (NLP) tools for Computer Assi...
  4. Analysis of Sanskrit text : parsing and semantic relations International audience
  5. Data validation with unknown variance matrix The data validation consists in obtaining an estimation of the true values of process variables that...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.