Normal view MARC view ISBD view

Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo

Reyes, Nora Susana

Implementación de un lenguaje de consultas utilizando lógica de primer orden con cuantificadores de punto fijo

Standard No.: DIF-M3544

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD