Buscar recursos académicos

Explorá catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.

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

Uma análise dos modelos que integram o paralelismo e/ou na programação em lógica

Texto / recurso

Uma análise dos modelos que integram o paralelismo e/ou na programação em lógica

Geyer, Cláudio Fernando Resin et al · SEDICI UNLP · 1998

Este trabalho estuda as várias formas de integração do paralelismo E e do paralelismo OU na Programação em Lógica. O trabalho engloba os principais sistemas, a saber: ANDORRA-I, ACE, ROPM e IDIOM. Ao final, é feit...

Idioma Portugués

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Ficha bibliográfica

Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica

Texto / recurso

Integração party-granlog: interpretação abstrata aplicada a paralelização de programas em lógica

Barbosa, Jorge L. V. et al · SEDICI UNLP · 1998

Este trabalho apresenta a integração dos modelos ParTy e Granlog. O ParTy (Parallel Types Analyzer) é um interpretador abstrato de tipos. O Granlog (Granularity Analyzer for LOGic programming) é um analisador automá...

Idioma Portugués

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Ficha bibliográfica

NODITO

Asistencia de búsqueda académica

Te ayudo a buscar, encontrar y acceder a recursos académicos.

Consultar con NODITO

¿Qué necesitás hacer?

Consultas rápidas

NODITO Asistencia contextual NDX

Buscar recursos académicos

Resultados