| | 아나 고파스람다 미적분 및 용어 재 작성에서 용어의 감소 그래프 시각화 |
| 지금 다운로드 | |
아나 고파스 순위 및 요약
광고
- 특허:
- GPL
- 게시자 이름:
- Anagopos Team
- 게시자 웹사이트:
- http://code.google.com/u/103224642995638903886/
- 운영체제:
- Mac OS X
- 파일 크기:
- 34.7 MB
아나 고파스 태그
아나 고파스 설명
Anagopos는 Lambda Calculus 및 Term Rewriting의 용어의 감소 그래프를 시각화 할 수있는 무료 및 오픈 소스 응용 프로그램입니다. 또한, AnagoPOS는 6 개의 다른 그래프 도면 알고리즘 하에서 감소 그래프의 단계별 생성을 가능하게합니다. AnagoPos는 크로스 플랫폼이며 Mac OS X 및 Linux에서 작동합니다. Linux 플랫폼을위한 바이너리는 프로젝트의 홈페이지에서 사용할 수 있습니다.
아나 고파스 관련 소프트웨어
