Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series maverick
  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.
155 → 164 of 57897 results First • • • Last
155.
A Computational Logic for Applicative Common Lisp: compiled libraries
 
Summary
Lógica computacional para Applicative Common Lisp: librerias compiladas
Translated by Juan Cardelino
Reviewed by Paco Molinero
Shared:
Lógica computacional para Applicative Common Lisp: bibliotecas compiladas
Suggested by Alejandro Pérez
Located in Package: acl2-books
156.
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 bibliotecas precompiladas y precertificadas para ser utilizadas en probar teoremas con ACL2. Los usuarios serios desearán instalar ese paquete sin duda alguna.
Translated by Juan Cardelino
Reviewed by Monkey
Shared:
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.
Suggested by Paco Molinero
Located in Package: acl2-books
157.
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
Shared:
Lógica computacional para Applicative Common Lisp: certificados de las bibliotecas
Suggested by Paco Molinero
Located in Package: acl2-books-certs
158.
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 registros de certificación para varias bibliotecas precompiladas suministradas en el paquete ACL2-books. ACL2 esencialmente requiere que todos los libros incluidos sean certificados antes de usarse.
Translated and reviewed by Paco Molinero
Shared:
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.
Suggested by Paco Molinero
Located in Package: acl2-books-certs
159.
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 Monkey
Shared:
Lógica computacional para Applicative Common Lisp: fuentes de las bibliotecas
Suggested by Paco Molinero
Located in Package: acl2-books-source
160.
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 Monkey
Shared:
Este paquete contiene los archivos fuente lisp para las bibliotecas compiladas disponibles en el paquete ACL2-books
Suggested by Paco Molinero
Located in Package: acl2-books-source
161.
A Computational Logic for Applicative Common Lisp: documentation
 
Summary
Lógica computacional para Applicative Common Lisp: documentación
Translated by Juan Cardelino
Reviewed by Paco Molinero
Shared:
Lógica computacional para Applicative Common Lisp: documentación
Suggested by Alejandro Pérez
Located in Package: acl2-doc
162.
This package contains the documentation for ACL2.
 
Description
Este paquete contiene la documentación de ACL2
Translated by Paco Molinero
Reviewed by Paco Molinero
Shared:
Este paquete contiene la documentación para ACL2.
Suggested by Monkey
Located in Package: acl2-doc
163.
A Computational Logic for Applicative Common Lisp: emacs interface
 
Summary
Lógica computacional para Applicative Common Lisp: interfaz para emacs
Translated by Juan Cardelino
Reviewed by Paco Molinero
Shared:
Lógica computacional para Applicative Common Lisp: interfaz emacs
Suggested by Alejandro Pérez
Located in Package: acl2-emacs
164.
This package contains an emacs interface to ACL2.
 
Description
Este paquete contiene una interfaz de emacs para ACL2.
Translated by Juan Cardelino
Reviewed by Paco Molinero
Shared:
Este paquete contiene una interfaz emacs para ACL2.
Suggested by Paco Molinero
Located in Package: elpa-acl2
155 → 164 of 57897 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, Alvaro.Godoy, Amin Contreras, Ana C. D., Andres Rodriguez, Ariel Cabral, Augusto Elorza, Ben Lövy, Cameron W, Canofeles, Carlos Andrés Zambrano (czam), Carlos Gant Bernal, Carlos Lerzundy, 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, Eder Flores, Edgardo Fredz, Eduardo Castro, Eduardo Rivas, Eugenio M. Vigo, Evan R. Murphy, Fabián Flores Vadell, FajardXorg, Feder Sáiz, Federico Vera, Felipe Contreras, Fernando Muñoz, Florencia Mincucci, Francisco Padilla García, Gabriel Retik, Gabriela, Gonzalo L. Campos Medina, Gonzalo Testa, Ignacio Pinto, Irving Leonard, Javier Carranza, Javier García Díaz, Javier Lancha, Javier Serrano, Jonay, Jose Luis Tirado, Jose M, José Ernesto Dávila Pantoja, José Pablo Cortés, Juan Cardelino, Juan Eduardo Riva, Juan Miguel, Juan Sebastián Marulanda, Julian Alarcon, Julián Romero, Leandro Pavón Serrano, Lennon_79, Lovecat1024, LucianoGL9!, Luis Hurtado, Luis de Bethencourt Guimerá, Malakun, Manfred, Manuel Alejandro Jiménez Quintero, Marcos Astorgano, Mauro de Carvalho, Michael Vogt, Miguel Pérez Colino, Moises Mata Astorga, Monkey, MrcredsAlex, Nacho Barberán, Nelson Vergara, Nicolás M. Zahlut, Nicolás Rigalli, Oscar Rodriguez, Pablo Rubianes, Paco Molinero, Rainer Eli, Raúl Pedroche, Ricardo Pérez López, Rodrigo Lledó, Samuel Iglesias, Sergio Cardamas, Sergio Meneses, Steve Langasek, Takmadeus, Toolband, Victor Vargas, William Bueno Hernandez, arztriper, dlg3000, dmm041191, gnuckx, gnz27, goynes1, hhlp, inigo, jcastp, jorgehpm, localhost, lynx, malev, mariomx08, mjdevel, nat6091, novatotal, pablo.sajnovsky, pico.dev, santos cano prada, worg.