 | AnagoposVisualiseer reductie grafieken van termen in Lambda Calculus en Term Herschrijven |
| Download nu | |
Anagopos Rangschikking & Samenvatting
Advertentie
- Vergunning:
- GPL
- Naam uitgever:
- Anagopos Team
- Uitgever website:
- http://code.google.com/u/103224642995638903886/
- Besturingssystemen:
- Mac OS X
- Bestandsgrootte:
- 34.7 MB
Anagopos Tags
Anagopos Beschrijving
Anagopos is een gratis en open-source-applicatie waarmee u de reductiegrafieken van termen in Lambda Calculus en Term Herschrijving kunt visualiseren. Bovendien maakt Anagopos stapsgewijze generatie vermeerderingsgrafieken onder de 6 verschillende grafische tekenalgoritmen. Anagopos is cross-platform en het werkt op Mac OS X en Linux. Binair voor het Linux-platform is beschikbaar op de startpagina van het project.
Anagopos Gerelateerde software
Nitraat - Phosfor-model
Hiermee kunt u de biogeochemische cyclus van de oceaan van fosfaat analyseren ...
1 KB