A study on average case analyses of two mechanical theorem proving algorithms

A study on average case analyses of two mechanical theorem proving algorithms

博士 === 國立清華大學 === 資訊科學研究所 === 79 ===

Bibliographic Details
Main Authors: HU,DA-XIONG, 胡大雄
Other Authors: LI,JIA-TONG
Format: Others
Language:zh-TW
Published: 1991
Online Access:http://ndltd.ncl.edu.tw/handle/23951066106774877993
id ndltd-TW-079NTHU2394003
record_format oai_dc
spelling ndltd-TW-079NTHU23940032016-07-25T04:07:12Z http://ndltd.ncl.edu.tw/handle/23951066106774877993 A study on average case analyses of two mechanical theorem proving algorithms 自動定理證明方法之平均狀況分析與研究 HU,DA-XIONG 胡大雄 博士 國立清華大學 資訊科學研究所 79 LI,JIA-TONG TANG,CHUAN-YI 李家同 唐傳義 1991 學位論文 ; thesis 0 zh-TW
collection NDLTD
language zh-TW
format Others
sources NDLTD
description 博士 === 國立清華大學 === 資訊科學研究所 === 79 ===
author2 LI,JIA-TONG
author_facet LI,JIA-TONG
HU,DA-XIONG
胡大雄
author HU,DA-XIONG
胡大雄
spellingShingle HU,DA-XIONG
胡大雄
A study on average case analyses of two mechanical theorem proving algorithms
author_sort HU,DA-XIONG
title A study on average case analyses of two mechanical theorem proving algorithms
title_short A study on average case analyses of two mechanical theorem proving algorithms
title_full A study on average case analyses of two mechanical theorem proving algorithms
title_fullStr A study on average case analyses of two mechanical theorem proving algorithms
title_full_unstemmed A study on average case analyses of two mechanical theorem proving algorithms
title_sort study on average case analyses of two mechanical theorem proving algorithms
publishDate 1991
url http://ndltd.ncl.edu.tw/handle/23951066106774877993
work_keys_str_mv AT hudaxiong astudyonaveragecaseanalysesoftwomechanicaltheoremprovingalgorithms
AT húdàxióng astudyonaveragecaseanalysesoftwomechanicaltheoremprovingalgorithms
AT hudaxiong zìdòngdìnglǐzhèngmíngfāngfǎzhīpíngjūnzhuàngkuàngfēnxīyǔyánjiū
AT húdàxióng zìdòngdìnglǐzhèngmíngfāngfǎzhīpíngjūnzhuàngkuàngfēnxīyǔyánjiū
AT hudaxiong studyonaveragecaseanalysesoftwomechanicaltheoremprovingalgorithms
AT húdàxióng studyonaveragecaseanalysesoftwomechanicaltheoremprovingalgorithms
_version_ 1718361262065188864

Similar Items