Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"MIZAR"”.
-
Bibliotecas de axiomáticas: conceitos e resultados para sistemas algébricos
… autonomamente 75% dos teoremas na base de dados Mizar, um repositório contendo grande parte dos teoremas mais comuns, nomeadamente os teoremas lecionados numa licenciatura ou mestrado de matemática pura. Os tempos são de grande mudança e a questão natural é esta: como podemos colocar estas …
-
Percepción del sentido de la comunidad de los voluntarios en eventos deportivos en China: relación entre motivación, satisfacción y lealtad.
… poner a prueba en otros contextos para opti mizar su fiabilidad, validez y continuar con la mejora de sus propiedades psicométricas. Implicaciones para la gestión: Se prop orciona una herramienta válida y fiable para medir la percepción de las acciones de RSC en los eventos deportivos y, de …
-
Advanced digital readout and signal processing techniques for radiation sensors.
L'abstract è presente nell'allegato / the abstract is in the attachment