News Help Institutional access

Search academic resources

Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

Advanced search
What NODOVOX Discovery brings together: Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
forensic medicine law journals Open Access full text

Results

2 results found.

Resource types: Print book E-book Article Journal Thesis Chapter
Academic search
Matemáticas para informática /
Book
Book
Matemáticas para informática /
Gutiérrez García, Ismael · Universidad del Norte Editorial · 2013 · ISBN 9789587419344
Subjects / keywords: Computer science; Mathematics; Set theory; Problems, exercises, etc; Algorithms; Logic, Symbolic and mathematical; Problems and exercises; Electronic books
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Bibliographic record
Un ambiente integrado de ejecución para determinar la satisfacibilidad de fórmulas en forma normal conjuntiva
Text / resource
Text / resource
Un ambiente integrado de ejecución para determinar la satisfacibilidad de fórmulas en forma normal conjuntiva
Funez, Darío Gustavo et al · SEDICI UNLP · 2006
El problema de satisfacibilidad (SAT), el primero en demostrarse que es NP-completo, es fundamental en muchos campos de las ciencias de la computación, la ingeniería eléctrica y matemática. En el presente trabajo se ...
Idioma Spanish
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
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