windows9download

You Here : Home > Linux

YANDES alpha

OS Support:

All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Linux


Publisher

Old version

Update:

November 9 2004

Download:

YANDES alpha


Description

YANDES - Yet Another Natural Deduction System


Related Downloads


Software Tags

Yandes

Size : 29.7 KB

Next/Pre