Normal view MARC view ISBD view

Desarrollo de algoritmos para determinar si una fórmula es un teorema del sistema. Sistema K de Kleene

PÉREZ, Federico

Desarrollo de algoritmos para determinar si una fórmula es un teorema del sistema. Sistema K de Kleene - Rafaela, 2009. - 16 páginas

Subjects--Topical Terms:
CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI
INGENIERIA EN INFORMÁTICA
LOGICA Y SEMANTICA FORMALES

Place hold
Print
Add to your cart (remove)
Report a concern
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)