Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series lucid
  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.
149 → 158 of 54563 results First • • • Last
149.
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
150.
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
151.
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
152.
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
153.
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
154.
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
155.
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
156.
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
157.
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
158.
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
149 → 158 of 54563 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, 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, Javier García Díaz, Jonay, Jose Luis Tirado, Jose M, José Ernesto Dávila Pantoja, Juan Cardelino, Juan Eduardo Riva, Juan Sebastián Marulanda, Julian Alarcon, 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, arztriper, hhlp, inigo, jcastp, jorgehpm, lynx, malev, mariomx08, nat6091, pico.dev, worg.