Registro de Citas

Cita APA

Medina Bulo, I., Palomo Lozano, F., & Ruiz Reina, J. L. (2010). A verified Common Lisp implementation of Buchberger's algorithm in ACL2.

Citación estilo Chicago

Medina Bulo, Inmaculada, Francisco Palomo Lozano, y José Luis Ruiz Reina. A Verified Common Lisp Implementation of Buchberger's Algorithm in ACL2. 2010.

Cita MLA

Medina Bulo, Inmaculada, Francisco Palomo Lozano, y José Luis Ruiz Reina. A Verified Common Lisp Implementation of Buchberger's Algorithm in ACL2. 2010.

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

Warning: fopen(/tmp/vufind_sessions/sess_p9sa4uhfuc78r1ek3g5h5fuffp): 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_p9sa4uhfuc78r1ek3g5h5fuffp
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