Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
DES1.2.0Linux.tar.gz | 2007-02-09 | 2.0 MB | |
DES1.2.0GNU.tar.gz | 2007-02-09 | 478.4 kB | |
releasenotesDES1.2.0.txt | 2007-02-09 | 1.7 kB | |
DES1.2.0SunOS5.4.tar.gz | 2007-02-09 | 1.1 MB | |
DES1.2.0SWI.tar.gz | 2007-02-09 | 478.4 kB | |
DES1.2.0Sicstus.tar.gz | 2007-02-09 | 478.6 kB | |
DES1.2.0Ciao.tar.gz | 2007-02-09 | 478.8 kB | |
manualDES1.2.0.pdf | 2007-02-09 | 640.8 kB | |
DES1.2.0Windows.zip | 2007-02-09 | 897.1 kB | |
DES1.2.0SWI.zip | 2007-02-09 | 481.2 kB | |
DES1.2.0Sicstus.zip | 2007-02-09 | 481.5 kB | |
DES1.2.0GNU.zip | 2007-02-09 | 481.3 kB | |
DES1.2.0Ciao.zip | 2007-02-09 | 482.0 kB | |
Totals: 13 Items | 8.5 MB | 1 |
Datalog Educational System Files
Deductive Database with Datalog, SQL, RA, TRC, DRC
Brought to you by:
fsaenzperez