Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series natty
  2. Template “ddtp-ubuntu-universe”
  3. Spanish (es)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and Spanish guidelines.
165 → 174 of 60113 results First • • • Last
165.
A Computational Logic for Applicative Common Lisp: compiled libraries
 
Summary
Lógica computacional para Applicative Common Lisp: bibliotecas compiladas
Translated by Alejandro Pérez
Reviewed by Adolfo Jayme Barrientos
Located in Package: acl2-books
166.
This package contains numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.
 
Description
Este paquete contiene numerosas librerías precompiladas y precertificadas para ser utilizadas en probar teoremas con ACL2. Los usuarios serios desearán instalar ese paquete sin duda alguna.
Translated by Paco Molinero
Reviewed by Paco Molinero
Located in Package: acl2-books
167.
A Computational Logic for Applicative Common Lisp: library certificates
 
Summary
Lógica computacional para Applicative Common Lisp: certificados de las bibliotecas
Translated and reviewed by Paco Molinero
Located in Package: acl2-books-certs
168.
This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.
 
Description
Este archivo contiene grabaciones certificadas para varias bibliotecas compiladas previamente suministradas en el paquete libros-ACL-2. ACL-2 requiere esencialmente que todos los libros incluidos sean certificados.
Translated by Paco Molinero
Reviewed by Paco Molinero
Located in Package: acl2-books-certs
169.
A Computational Logic for Applicative Common Lisp: library sources
 
Summary
Lógica computacional para Applicative Common Lisp: fuentes de las bibliotecas
Translated and reviewed by Paco Molinero
Located in Package: acl2-books-source
170.
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
 
Description
Este paquete contiene los archivos fuente lisp para las bibliotecas compiladas disponibles en el paquete ACL2-books
Translated and reviewed by Paco Molinero
Located in Package: acl2-books-source
171.
A Computational Logic for Applicative Common Lisp: documentation
 
Summary
Lógica computacional para Applicative Common Lisp: documentación
Translated by Alejandro Pérez
Reviewed by Adolfo Jayme Barrientos
Located in Package: acl2-doc
172.
This package contains the documentation for ACL2.
 
Description
Este paquete contiene la documentación para ACL2.
Translated and reviewed by Monkey
Located in Package: acl2-doc
173.
A Computational Logic for Applicative Common Lisp: emacs interface
 
Summary
Lógica computacional para Applicative Common Lisp: interfaz emacs
Translated by Alejandro Pérez
Reviewed by Adolfo Jayme Barrientos
Located in Package: acl2-emacs
174.
This package contains an emacs interface to ACL2.
 
Description
Este paquete contiene una interfaz emacs para ACL2.
Translated by Paco Molinero
Reviewed by Paco Molinero
Located in Package: elpa-acl2
165 → 174 of 60113 results First • • • Last

This translation is managed by Ubuntu Spanish Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: 0rvidal, Adolfo Jayme Barrientos, Aiguanachein, Aitor de la Morena, Alejandro Pérez, Ana C. D., Andres Rodriguez, Ariel Cabral, Augusto Elorza, Braxton Schafer, Canofeles, Carlos Andrés Zambrano (czam), Carlos Gant Bernal, Carlos Perelló Marín, Cindy Acuña, Clara, Cristian Aravena Romero, Cross, Daniel Aguirre, Daniel Añez Scott, Dante Díaz, David de Obregon, DiegoJ, Edgardo Fredz, Eduardo Rivas, Eugenio M. Vigo, Federico Vera, Felipe Contreras, Fernando Muñoz, Florencia Mincucci, Francisco Padilla García, Gabriela, Gonzalo L. Campos Medina, Gonzalo Testa, Ignacio Pinto, Irving Leonard, Jonay, Jose Luis Tirado, Jose M, José Ernesto Dávila Pantoja, Juan Cardelino, Juan Eduardo Riva, Juan Sebastián Marulanda, Malakun, Mauro de Carvalho, Michael Vogt, Moises Mata Astorga, Monkey, Nacho Barberán, Nicolás M. Zahlut, Pablo Rubianes, Paco Molinero, Raúl Pedroche, Ricardo Pérez López, Rodrigo Lledó, Samuel Iglesias, Sergio Meneses, Steve Langasek, William Bueno Hernandez, hhlp, inigo, jcastp, jorgehpm, lynx, malev, mariomx08, nat6091, pico.dev, santos cano prada, Łukasz Zemczak.