臺灣學術機構典藏系統 (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

"hsiang j"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 61-85 of 94 (4 Page(s) Totally)
<< < 1 2 3 4 > >>
View [10|25|50] records per page

Institution	Date	Title	Author
國立臺灣大學	1998	Special Issue on Advances in Computing Science ASIAN '98	Hsiang J.; Ohori Atsushi
國立臺灣大學	1998	Digitizing Taiwan's Historical Archives--The NTU Digital Library/Museum Project	Hsiang J.
國立臺灣大學	1998	On the modelling of search in theorem-proving--Towards a theory of strategy analysis	Bonacina M. P.; Hsiang J.
國立臺灣大學	1998	On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching	Bonacina M. P.; Hsiang J.
國立臺灣大學	1998	Foreword	Hsiang J.
國立臺灣大學	1998	Personalized Web Retrieval: Three Agents for Retrieving Web Information	Hsiang J.; Tu H. C.
國立臺灣大學	1998	Advances in Computing Science-ASIAN '98	Hsiang J.; Ohori A.
國立臺灣大學	1998	Challenges in the Digitization of Taiwan's Historical Archives	Hsiang J.
國立臺灣大學	1998	Practical Effectiveness Measures for Evaluating Large Retrieval Systems	Tu H. C.; Hsiang J.
國立臺灣大學	1997	Some fundamental properties of Boolean ring normal forms	Hsiang J.; Huang G. S.
國立臺灣大學	1997	On the notion of complexity of search in theorem proving	Bonacina M. P.; Hsiang J.
國立臺灣大學	1997	1997 Herbrand Award for Distinguished Contributions to Automated Reasoning Recipient: Professor Wu Wen-Tsun	Hsiang J.
國立臺灣大學	1997	Deduction Methods Based on Boolean Rings	Hsiang J.
國立臺灣大學	1997	A generic virus detection agent on the Internet	Lee J. S.; Hsiang J.; Tsang P. H.
國立臺灣大學	1997	Some fundamental properties of Boolean ring normal forms	Hsiang J.; Huang Guan Shieng
國立臺灣大學	1996	Automating Algebraic Proofs in Algebraic Logic	Hsiang J.; Wasilewska A.
國立臺灣大學	1996	A Case Study of Parallel Satisfiability on Quasigroup Problems	Zhang H.; Bonacina M. P.; Hsiang J.
國立臺灣大學	1996	On the notion of complexity of search in theorem proving	Bonacina M. P.; Hsiang J.
國立臺灣大學	1996	The Normal Form of Boolean Functions under Don't-care Conditions	Hsiang J.; Huang G. S.
國立臺灣大學	1996	From Internet to the Future of Information Revolution	Hsiang J.
國立臺灣大學	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	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.

Showing items 61-85 of 94 (4 Page(s) Totally)
<< < 1 2 3 4 > >>
View [10|25|50] records per page

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