臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

About TAIR
	About TAIR

Browse By
	Institution
	Author
	Title
	Date
	Statistics Chart
	Institution Facts
	Trend

News
	2019臺灣學術機構典藏研討會
	機構典藏系統RC7版本已發佈

Copyright
	Publisher & Journal Policy
	TAIR Copyright Conference Minutes

Related Links
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"bonacina m p"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 16-40 of 40 (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page

Institution	Date	Title	Author
國立臺灣大學	1996	On the Representation of Dynamic Search Spaces in Theorem Proving	Bonacina M. P.; Hsiang J.
臺大學術典藏	1996	PSATO: A distributed propositional prover and its application to quasigroup problems	ZHANG, HANTAO;BONACINA, MARIA PAOLA;HSIANG, JIEHZhang, H.;Bonacina, M.P.;Hsiang, J.; ZHANG, HANTAO; BONACINA, MARIA PAOLA; HSIANG, JIEHZhang, H.; Bonacina, M.P.; Hsiang, J.; JIEH HSIANG
國立臺灣大學	1995	Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1995	Parallelizing Deduction Strategies:an Analytical Study	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1995	PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems	Bonacina M. P.; Hsiang J.
國立臺灣大學	1995	The Clause-Diffusion Methodology for Distributed Deduction	Bonacina M. P.; Hsiang J.
國立臺灣大學	1995	Subsumption Revisited	Bonacina M. P.; Hsiang J.
國立臺灣大學	1994	A Category Theory Approach to Completion-Based Theorem Proving Strategies	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1994	Distributed Deduction by Clause-Diffusion	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1994	Towards a Foundation of Completion Procedures as Semidecision Procedures	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1994	A Category-Theoretic Treatment of Automated Theorem Proving	Bonacina M. P.; Hsiang J.
國立臺灣大學	1994	On Subsumption in Distributed Deduction	Bonacina M. P.; Hsiang J.
臺大學術典藏	1994	Towards a Foundation of Completion Procedures as Semidecision Procedures	Bonacina, M. P.; Hsiang, Jieh; Bonacina, M. P.; 項潔; Hsiang, Jieh
臺大學術典藏	1994	On subsumption in distributed derivations	JIEH HSIANG; Hsiang, J.; Bonacina, M.P.
國立臺灣大學	1993	On Subsumption in Distributed Deduction	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1993	A System for Distributed Simplification-based Theorem Proving	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1993	On Fairness in Distributed Automated Deduction	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1992	On Rewrite Programs: Semantics and Relationship with Prolog	Bonacina M. P.; Hsiang J.
國立臺灣大學	1991-07	A Category Theory Approach to Completion-based Theorem Proving Strategies	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1991-06	High Performance Simplification-based Automatd Deduction	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1991-06	On Fairness of Completion-based Theorem Proving Strategies	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1991-04	Operational and Denotational Semantics of Rewrite Programs	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh
國立臺灣大學	1991	Incompleteness of the RUE/NRF inference systems	Bonacina M. P.; Hsiang J.
國立臺灣大學	1990	Completion Procedures as Semi-Decision Procedures	Bonacina M. P.; Hsiang J.
國立臺灣大學	1988	Incompleteness of the RUE/NRF Inference Systems	Bonacina, M. P.; 項潔; Bonacina, M. P.; Hsiang, Jieh

Showing items 16-40 of 40 (2 Page(s) Totally)
1 2 > >>
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :0
	Visitors : 52498726 Online Users : 863 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library