Sophie

Sophie

distrib > Fedora > 18 > x86_64 > media > updates > by-pkgid > c88bfcd69686b7bf2879ca0f7bf751fa

texlive-rec-thy-svn27225.1.3-20.fc18.noarch.rpm

Description:

The package provides many macros to express standard notation
in recursion theory (otherwise known as computability theory).

date: 2012-06-21 10:44:34 +0200

Sources packages:

Other version of this rpm: