ANDP-自然演繹自動定理證明系統

ANDP-自然演繹自動定理證明系統是由清華大學完成的科技成果，登記於1993年10月31日。

基本介紹

• 中文名：ANDP-自然演繹自動定理證明系統
• 完成單位：清華大學
• 類別：科技成果
• 登記時間：1993年10月31日

成果信息

成果名稱	ANDP-自然演繹自動定理證明系統
成果完成單位	清華大學
批准登記單位	北京市科學技術委員會
登記日期	1993-10-31
成果登記年份	1993