Interchange
Perl
DBI
MySQL
Home
Projekte
Login
Interchange
Debian
Links
AGB
Kontakt
Wiki
Stichwortsuche
ALSA
Apache
CD
CPAN
ClamAV
DAV
DBI
DNS
DVD
Debian
Drupal
Emacs
Exim
FTP
Firefox
GNOME
HTTP
Hattrick
IMAP
IRC
Interchange
Java
JavaScript
KDE
LDAP
MIME
Mozilla
MySQL
Nagios
PHP
Perl
PostgreSQL
Python
RT
Ruby
SMTP
SOAP
SSH
SSL
Samba
TLS
Tomcat
XML
XSL
erp
Paketsuche
Debianpakete
appconfig
cgi-extratags-perl
ciphersaber
courier
courier
courier-authlib
dbix-easy-perl
debaux
interchange
interchange-doc
jfsutils
libmime-lite-html-perl
libtext-mediawikiformat-perl
libtie-shadowhash-perl
pure-ftpd
pure-ftpd
safe-hole-perl
set-crontab-perl
Kunden/Partner
B&N
Box of Rain
COBOLT NetServices
ecoservice
Gish Network
IIP/IR Vienna
L & D Computer
LinSoft IT
M & D
materialboerse.de
Media Business Software
Medical Business Solutions
Net Stores
NextCall
RUEB
Tenalt
Transfair-Net GmbH
Ulisses
WebHostNY.com
Wegacell
West Branch Angler
Wintime IT Solutions
formed: formula editor for first-order logic formulae
Distribution
Debian testing
Abteilung
math
Quelle
otter
Version
3.3f-1
Maintainer
Peter Collingbourne
<
pcc03@doc.ic.ac.uk
>
Beschreibung
Formed is a formula editor for first-order logic formulas that
lets you simplify quantified formulas by quantifier
transformation among other things.
Abhängig von
libc6
(>= 2.3.5-1),
libx11-6
,
libxaw7
,
libxt6
Vorgeschlagen
otter
Offizielle Seiten
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket)
Download
amd64
Projekte
Systemadministration für Internetagentur
Mehr erfahren ...
Reengineering e-procurement System
Mehr erfahren ...
Foreign Service National Training Database
Mehr erfahren ...
Marktplatz für elektronische Bauelemente
Mehr erfahren ...
Marktplatz für Musikinstrumente und Zubehör
Mehr erfahren ...
