文件名称:LI_IV
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
A test program performing logial inference in predication calculus: deductive, abductive, modified conclusions.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
| 文件名 | 大小 | 更新时间 |
|---|---|---|
| LI_IV | 0 | 2018-03-26 |
| LI_IV\ab_examp.txt | 65 | 2003-06-21 |
| LI_IV\Help | 0 | 2018-03-26 |
| LI_IV\Help\LV_IV.BAS | 203 | 2004-05-10 |
| LI_IV\Help\LV_IV.CNT | 392 | 2004-05-10 |
| LI_IV\Help\LV_IV.GID | 10824 | 2004-05-10 |
| LI_IV\Help\LV_IV.H | 175 | 2004-05-10 |
| LI_IV\Help\LV_IV.HLP | 14935 | 2004-05-10 |
| LI_IV\Help\LV_IV.HPJ | 278 | 2004-05-10 |
| LI_IV\Help\LV_IV.HTF | 59170 | 2004-05-10 |
| LI_IV\Help\LV_IV.LOG | 243 | 2004-05-10 |
| LI_IV\Help\LV_IV.MAP | 175 | 2004-05-10 |
| LI_IV\Help\LV_IV.PAS | 232 | 2004-05-10 |
| LI_IV\Help\LV_IV.rtf | 58805 | 2004-05-10 |
| LI_IV\LV_IV.CNT | 392 | 2004-05-10 |
| LI_IV\LV_IV.GID | 10824 | 2011-09-22 |
| LI_IV\LV_IV.HLP | 14935 | 2004-05-10 |
| LI_IV\LV_IV.ini | 9092 | 2018-03-26 |
| LI_IV\SRC | 0 | 2018-03-26 |
| LI_IV\SRC\LV_IV.cfg | 386 | 2007-02-27 |
| LI_IV\SRC\LV_IV.dof | 1097 | 2007-02-27 |
| LI_IV\SRC\LV_IV.dpr | 671 | 2004-05-11 |
| LI_IV\SRC\LV_IV.ini | 8955 | 2012-03-24 |
| LI_IV\SRC\LV_IV.res | 876 | 2007-02-27 |
| LI_IV\SRC\uAbout.dfm | 1980 | 2004-05-11 |
| LI_IV\SRC\uAbout.pas | 496 | 2004-05-11 |
| LI_IV\SRC\uChCon.dfm | 3418 | 2004-05-10 |
| LI_IV\SRC\uChCon.pas | 569 | 2004-05-10 |
| LI_IV\SRC\uCommon.pas | 74220 | 2007-02-27 |
| LI_IV\SRC\uIntr.dfm | 5708 | 2004-05-10 |
| LI_IV\SRC\uIntr.pas | 2870 | 2007-02-27 |
| LI_IV\SRC\uMain.dfm | 232336 | 2004-05-23 |
| LI_IV\SRC\uMain.pas | 13221 | 2004-05-23 |
| LI_IV\SRC\uPosyl.dfm | 5754 | 2004-05-10 |
| LI_IV\SRC\uPosyl.pas | 3128 | 2007-02-27 |
| LI_IV\SRC\uRep.dfm | 4780 | 2004-05-10 |
| LI_IV\SRC\uRep.pas | 1721 | 2004-05-10 |
| LI_IV\SRC\uRPos.dfm | 3850 | 2004-05-10 |
| LI_IV\SRC\uRPos.pas | 1552 | 2007-02-27 |
| LI_IV\SRC\uRZak.dfm | 3865 | 2004-05-10 |
| LI_IV\SRC\uRZak.pas | 1396 | 2007-02-27 |
| LI_IV\SRC\uZakl.dfm | 5696 | 2004-05-10 |
| LI_IV\SRC\uZakl.pas | 3115 | 2007-02-27 |