Refine your Search
Author
- Ramírez Montoya, María S. (2)
- Adriana Aguayo Arelis (1)
- Agüero, Jorge Luis (1)
- Alemán de la Garza, Lorena Y. (1)
- Arnera, Patricia Liliana (1)
- Barbieri, María Beatriz (1)
- Beroqui, Mario César (1)
- Biteznik, Carlos Ezequiel (1)
- Brenda Viridiana Rabago Barajas (1)
- Departamento de Psicología y Educación. Universidad de Deusto. Bilbao, España. (1)
Subject
- Ciencias Sociales / Social Sciences (5)
- MOOC (3)
- 7 INGENIERÍA Y TECNOLOGÍA (2)
- Energía Eléctrica (2)
- Ingeniería (2)
- Action research (1)
- Area::CIENCIAS AGROPECUARIAS Y BIOTECNOLOGÍA::CIENCIAS AGRARIAS::AGRONOMÍA::GENÉTICA VEGETAL (1)
- Area::INGENIERÍA Y TECNOLOGÍA::CIENCIAS TECNOLÓGICAS::TECNOLOGÍA DE LOS ORDENADORES::DISPOSITIVOS DE ALMACENAMIENTO (1)
- Area::INGENIERÍA Y TECNOLOGÍA::CIENCIAS TECNOLÓGICAS::TECNOLOGÍA INDUSTRIAL::ORGANIZACIÓN DE LA PRODUCCIÓN (1)
- Automatic proofs (1)
Year
1-10 from 14 results
(0.026 seconds)
-
Title: Reasoning about functional programs by combining interactive and automatic proofsLanguage: InglésRepository: 65Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory
-
Title: Experience in the design of external protection systems against lightningLanguage: InglésRepository: 37Subject: Ingeniería / Energía Eléctrica
-
Title: Counterfactual impact evaluation of EU funded enterprise support in PortugalAuthor: Mamede, R. P. / Fernandes, T. / Silva, A. A.Language: InglésRepository: 73
-
Title: Developing digital skills to solve information problems through a MOOCLanguage: InglésRepository: 34Subject: MOOC / Digital skills / Mi Compu.Mx / Ciencias Sociales / Social Sciences
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723