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.
171 → 180 of 60113 results First • • • Last
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
175.
A Computational Logic for Applicative Common Lisp: infix interface
 
Summary
Lógica computacional para Applicative Common Lisp: interfaz infijo
Translated by Alejandro Pérez
Reviewed by Adolfo Jayme Barrientos
Located in Package: acl2-infix
176.
This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.
 
Description
Este paquete contiene utilidades y librerías para acceder ACL2 con notación infix similar a la utilizada en varios lenguajes no basados en lisp.
Translated by Paco Molinero
Reviewed by Paco Molinero
Located in Package: acl2-infix
177.
A Computational Logic for Applicative Common Lisp: infix source
 
Summary
Lógica computacional para Applicative Common Lisp: código infijo
Translated by Alejandro Pérez
Reviewed by Adolfo Jayme Barrientos
Located in Package: acl2-infix-source
178.
This package contains the source files to the infix interface to ACL2.
 
Description
Este paquete contiene los archivos fuente de la interface finix para ACL2.
Translated and reviewed by Monkey
Located in Package: acl2-infix-source
179.
A Computational Logic for Applicative Common Lisp: source files
 
Summary
Lógica computacional para Applicative Common Lisp: archivos fuente
Translated and reviewed by Adolfo Jayme Barrientos
Located in Package: acl2-source
180.
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
 
Description
ACL2 se utiliza como lenguaje de programación con el que puede diseñar sistemas de cómputo y como herramienta que le ayuda a probar esos diseños.
Translated by mariomx08
Reviewed by Paco Molinero
Located in Package: elpa-acl2 Package: acl2-source Package: acl2-infix-source Package: acl2-infix Package: acl2-doc Package: acl2-books-source Package: acl2-books-certs Package: acl2-books Package: acl2
171 → 180 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.