Vectorization techniques for theorem proving in propositional logic on vector computers

Vectorization techniques for theorem proving in propositional logic on vector computers

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

Bibliographic Details
Main Authors: FANG,MING-YI, 方明義
Other Authors: CHEN,WEN-CUN
Format: Others
Language:zh-TW
Published: 1991
Online Access:http://ndltd.ncl.edu.tw/handle/17498639702454488762
id ndltd-TW-079NTHU2394004
record_format oai_dc
spelling ndltd-TW-079NTHU23940042016-07-25T04:07:12Z http://ndltd.ncl.edu.tw/handle/17498639702454488762 Vectorization techniques for theorem proving in propositional logic on vector computers 命題邏輯之定理證明在向量電腦上之向量化處理技術 FANG,MING-YI 方明義 博士 國立清華大學 資訊科學研究所 79 CHEN,WEN-CUN 陳文村 1991 學位論文 ; thesis 120 zh-TW
collection NDLTD
language zh-TW
format Others
sources NDLTD
description 博士 === 國立清華大學 === 資訊科學研究所 === 79 ===
author2 CHEN,WEN-CUN
author_facet CHEN,WEN-CUN
FANG,MING-YI
方明義
author FANG,MING-YI
方明義
spellingShingle FANG,MING-YI
方明義
Vectorization techniques for theorem proving in propositional logic on vector computers
author_sort FANG,MING-YI
title Vectorization techniques for theorem proving in propositional logic on vector computers
title_short Vectorization techniques for theorem proving in propositional logic on vector computers
title_full Vectorization techniques for theorem proving in propositional logic on vector computers
title_fullStr Vectorization techniques for theorem proving in propositional logic on vector computers
title_full_unstemmed Vectorization techniques for theorem proving in propositional logic on vector computers
title_sort vectorization techniques for theorem proving in propositional logic on vector computers
publishDate 1991
url http://ndltd.ncl.edu.tw/handle/17498639702454488762
work_keys_str_mv AT fangmingyi vectorizationtechniquesfortheoremprovinginpropositionallogiconvectorcomputers
AT fāngmíngyì vectorizationtechniquesfortheoremprovinginpropositionallogiconvectorcomputers
AT fangmingyi mìngtíluójízhīdìnglǐzhèngmíngzàixiàngliàngdiànnǎoshàngzhīxiàngliànghuàchùlǐjìshù
AT fāngmíngyì mìngtíluójízhīdìnglǐzhèngmíngzàixiàngliàngdiànnǎoshàngzhīxiàngliànghuàchùlǐjìshù
_version_ 1718361262589476864

Similar Items