Registro de Citas

Cita APA

Heras, J., Martín Mateos, F. J., & Pascual, V. (2015). Modelling algebraic structures and morphisms in ACL2.

Citación estilo Chicago

Heras, Jónathan, Francisco Jesús Martín Mateos, y Vico Pascual. Modelling Algebraic Structures and Morphisms in ACL2. 2015.

Cita MLA

Heras, Jónathan, Francisco Jesús Martín Mateos, y Vico Pascual. Modelling Algebraic Structures and Morphisms in ACL2. 2015.

Precaución: Estas citas no son 100% exactas.

Warning: fopen(/tmp/vufind_sessions/sess_6b3dfifee48r5nr4uvpo1dgsh1): failed to open stream: No space left on device in /usr/local/vufind/module/VuFind/src/VuFind/Session/File.php on line 153
Cannot write session to /tmp/vufind_sessions/sess_6b3dfifee48r5nr4uvpo1dgsh1
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: /var/lib/php/session) in /usr/local/vufind/vendor/zendframework/zend-session/src/SessionManager.php on line 234