Novedades Ayuda Acceso institucional

Buscar recursos académicos

Encontrá libros, artículos, revistas, tesis y otros recursos académicos. Buscá, elegí el resultado correcto y accedé al contenido.

Búsqueda avanzada
Qué reúne NODOVOX Discovery: catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
medicina forense derecho revistas Open Access texto completo

Resultados

3 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
Pembelajaran Kalkulus Berbantuan Sofware Maple: Studi Perbedaan Hasil Kerja Mahasiswa dengan Menggunakan Maple dan Tanpa Menggunakan Maple
Artículo
Material complementario disponible Artículo DOAJ
Pembelajaran Kalkulus Berbantuan Sofware Maple: Studi Perbedaan Hasil Kerja Mahasiswa dengan Menggunakan Maple dan Tanpa Menggunakan Maple
Lalu Saparwadi et al · Universitas Hamzanwadi · 2019 · ISSN 2442-4226
This study aims to: (1) to find out the results of student work using Maple and without using Maple; (2) to find out how students respond to learning using Maple. This research is qualitative descriptive research. The in...
LCC LCC:MathematicsIdioma ind
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Abrir material Ficha bibliográfica
Does Identity Make Sense?
Artículo
Acceso abierto Artículo DOAJ
Does Identity Make Sense?
Andrei Rodin · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2024 · ISSN 2317-630X
Abstract In this paper we present novel conceptions of identity arising in and motivated by a recently emerged branch of mathematical logic, namely, Homotopy Type theory (HoTT). We consider an established 2013 version of...
LCC LCC:Logic; LCC:Philosophy (General)Idioma eng
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica
Type specialisation of polymorphic languages
Tesis
Acceso abierto Tesis SEDICI UNLP
Type specialisation of polymorphic languages
Martínez López, Pablo E · SEDICI UNLP · 2005
La especialización de programas es una manera particular de producir programas automáticamente. En ella se utiliza un programa fuente general dado para generar diversas versiones particulares, especializadas, del mismo...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica