A parallel approach for theorem proving in first order logic

A parallel approach for theorem proving in first order logic

碩士 === 國立清華大學 === 計算機管理決策研究所 === 76 ===

Bibliographic Details
Main Authors: LIU, HUAI-REN, 劉懷仁
Other Authors: CHEN, WEN-CUN
Format: Others
Language:zh-TW
Published: 1988
Online Access:http://ndltd.ncl.edu.tw/handle/61628572899715470757
id ndltd-TW-076NTHU2243014
record_format oai_dc
spelling ndltd-TW-076NTHU22430142015-10-13T11:08:33Z http://ndltd.ncl.edu.tw/handle/61628572899715470757 A parallel approach for theorem proving in first order logic 平行第一階邏輯定理證明 LIU, HUAI-REN 劉懷仁 碩士 國立清華大學 計算機管理決策研究所 76 CHEN, WEN-CUN 陳文村 1988 學位論文 ; thesis 67 zh-TW
collection NDLTD
language zh-TW
format Others
sources NDLTD
description 碩士 === 國立清華大學 === 計算機管理決策研究所 === 76 ===
author2 CHEN, WEN-CUN
author_facet CHEN, WEN-CUN
LIU, HUAI-REN
劉懷仁
author LIU, HUAI-REN
劉懷仁
spellingShingle LIU, HUAI-REN
劉懷仁
A parallel approach for theorem proving in first order logic
author_sort LIU, HUAI-REN
title A parallel approach for theorem proving in first order logic
title_short A parallel approach for theorem proving in first order logic
title_full A parallel approach for theorem proving in first order logic
title_fullStr A parallel approach for theorem proving in first order logic
title_full_unstemmed A parallel approach for theorem proving in first order logic
title_sort parallel approach for theorem proving in first order logic
publishDate 1988
url http://ndltd.ncl.edu.tw/handle/61628572899715470757
work_keys_str_mv AT liuhuairen aparallelapproachfortheoremprovinginfirstorderlogic
AT liúhuáirén aparallelapproachfortheoremprovinginfirstorderlogic
AT liuhuairen píngxíngdìyījiēluójídìnglǐzhèngmíng
AT liúhuáirén píngxíngdìyījiēluójídìnglǐzhèngmíng
AT liuhuairen parallelapproachfortheoremprovinginfirstorderlogic
AT liúhuáirén parallelapproachfortheoremprovinginfirstorderlogic
_version_ 1716839290612219904

Similar Items