證明樹（proof tree）是2008年經全國科學技術名詞審定委員會審定發布的海峽兩岸信息科學技術名詞。 基本介紹 中文名：證明樹外文名：proof tree所屬學科： 信息科學技術發布時間：2008年台灣名：證明樹 發布時間,出處, 發布時間2008年經全國科學技術名詞審定委員會審定發布的海峽兩岸信息科學技術名詞。出處《海峽兩岸信息科學技術名詞》
