Package Descriptions for Ubuntu

Browsing German translation

  1. Series disco
  2. Template “ddtp-ubuntu-universe”
  3. German (de)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and German guidelines.
241 → 250 of 125522 results First • • • Last
241.
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
Dieses Paket enthält zahlreiche vorkompilierte und vorzertifizierte Bibliotheken um Lehrsätze mit ACL2 zu beweisen. Ernsthafte Benutzer werden dieses Paket zweifellos installieren wollen.
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-books
242.
Computational Logic for Applicative Common Lisp: library certificates
 
Summary
Rechenbetonte Logik für applikatives Common Lisp: Bibliothekszertifikate
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-books-certs
243.
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
Diese Datei enthält Zertifikatsaufzeichnungen der verschiedenen, vorkompilierten Bibliotheken, die durch das ACL2-books-Paket zur Verfügung gestellt werden. ACL2 verlangt, dass alle eingebundenen Bücher vor der Benutzung zertifiziert werden.
Translated by Phil Krämer
Reviewed by Daniel Schury
Located in Package: acl2-books-certs
244.
Computational Logic for Applicative Common Lisp: library sources
 
Summary
Rechenbetonte Logik für applikatives Common Lisp: Bibliotheksquelltext
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-books-source
245.
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
 
Description
Dieses Paket enthält die LISP-Quelldateien der bereits kompilierten Bibliotheken, welche durch das ACL2-books-Paket bereitgestellt werden.
Translated and reviewed by Daniel Schury
Located in Package: acl2-books-source
246.
Computational Logic for Applicative Common Lisp: documentation
 
Summary
Rechenbetonte Logik für applikatives Common Lisp: Dokumentation
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-doc
247.
This package contains the documentation for ACL2.
 
Description
Dieses Paket enthält die Dokumentation für ACL2.
Translated by Nico Bauer
Reviewed by Hendrik Schrieber
Located in Package: acl2-doc
248.
Computational Logic for Applicative Common Lisp: emacs interface
 
Summary
Rechenbetonte Logik für applikatives Common Lisp: Emacs-Schnittstelle
Translated and reviewed by Hendrik Schrieber
Located in Package: elpa-acl2
249.
This package contains an emacs interface to ACL2.
 
Description
Diese Paket enthält eine Emacs-Schnittstelle zu ACL2.
Translated and reviewed by Hendrik Schrieber
Located in Package: elpa-acl2
250.
Computational Logic for Applicative Common Lisp: infix interface
 
Summary
Rechenbetonte Logik für applikatives Common Lisp: Infix-Schnittstelle
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-infix
241 → 250 of 125522 results First • • • Last

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

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

Contributors to this translation: Alexander Hartl, Björn Ternes, Carlos Perelló Marín, Carsten Gerlach, Christian Flasche, Christoph Gerlach, Daniel, Daniel Schury, Daniel Winzen, David Ayers, Denise Tiersch, Dennis Baudys, Dr. Peter Netz, E. Frank Sandig, Eduard Gotwig, Florian Greinus, Frank Sagner, Ghenrik, Hendrik Schrieber, Jakob Kramer, Jan Simon, Johannes Storm, Jonas Endersch, Jonathan Kolberg, Joshua Feis, Joshua Wiedekopf, Julian Keens, Jürgen Schwarze, Kevin Gath, Laurent Kap, Lothar Serra Mari, Lucas Meyer, Lukas Bögelein, MJJoker, Manfred Wiktorin, Marc Rodrigues, Marijo Mustac, Mark Mahler, Marsu, Martin Weil, Marvin S., Max Wiedenmann, Michael Steuernagel, Michael Vogt, Michael Wehram, Moritz Baumann, Nico Bauer, Oliver Duerre, Pascal De Vuyst, Patrick Seemann, Phil Krämer, Philipp Christen, Phillip Sz, Robin, Ronald Müller, Sascha, Simeon, Startlett, Stefan Gebhardt, Stephan Woidowski, Steve Langasek, Sven Seelbach, Thomas Schwiertz, Tobias Bannert, Torsten Franz, dstaubsauger, greenscandic, hpeck, scrawl, shilbert, stepstra, Łukasz Zemczak.