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

"s j lee"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 101-125 of 126 (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page

Institution	Date	Title	Author
國立中山大學	1993-12	Integrating Knowledge Validation into the Rete Rule Network for Rule-based Expert Systems	C.H. Wu;H.S. Chou;S.J. Lee;C.J. Yu
國立中山大學	1993-12	Initializing Neural Networks in Concept Learning	S.J. Lee;M.T. Jone
國立中山大學	1993-11	The Design and Implementation of a Rule-Based Expert System Language	C.H. Wu;S.J. Lee;H.S. Chou;C.J. Yu
國立中山大學	1993-07	A Model-Based Troubleshooter for Diagnosing Multiple Faults in Digital Systems	C.H. Wu;S.J. Lee;C.J. Yu;H.S. Chou
國立中山大學	1993-06	Building an Expert System Language Interpreter with the Rule Network Technique	C.H. Wu;S.J. Lee
國立中山大學	1993-05	An Object-Oriented Expert System for Local Area Network Design	C.H. Wu;S.J. Lee
國立中山大學	1993-05	Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures	S.J. Lee;C.H. Wu
國立中山大學	1992-12	A Relevance-Based Model for Automated Reasoning	S.J. Lee
國立中山大學	1992-12	An Inference Engine for Non-Horn Deductive Database Systems	S.J. Lee
國立中山大學	1992-11	Application of Expert System Techniques to Computer Network Design	S.J. Lee;C.H. Wu
國立中山大學	1992-07	Conditional Term Rewriting and First-Order Theorem Proving	D. Plaisted;G. Alexander;H. Chu;S.J. Lee
國立中山大學	1992-07	Checking Adequacy and Correctness of the Axioms in a Non-Horn Deductive Database	S.J. Lee
國立中山大學	1992-07	LCD: A System for Diagnosing Digital Hardware Designs	S.J. Lee;W.J. Lin
國立中山大學	1992-07	Controlling Storage Consumption in Mechanical Theorem Proving	S.J. Lee;C.H. Wu
國立中山大學	1992-05	Making a Theorem Prover Easier to Use	S.J. Lee
國立中山大學	1992-05	Improving Efficiency on Mechanical Theorem Proving	S.J. Lee
國立中山大學	1992-05	A Refinement to Breadth-First Search in Automated Reasoning	S.J. Lee
國立中山大學	1992-05	Circuit Verification Using a Theorem Prover	S.J. Lee;W.J. Lin
國立中山大學	1992-05	Dynamic Addition/Deletion of Rules in Expert Systems	C.H. Wu;S.J. Lee
國立中山大學	1992-05	A Self-Guided Theorem Proving System	S.J. Lee
國立中山大學	1992-05	Use Unit Clauses and Clause Splitting in Axiomatic Deduction	S.J. Lee;D. Plaisted
國立中山大學	1991-12	Class Scheduling Using Rule-based Techniques	C.H. Wu;S.J. Lee
國立中山大學	1991-12	Searching for Small Proofs in Automatic Theorem Proving	S.J. Lee;D. Plaisted
國立中山大學	1990-10	Reasoning with Predicate Replacement	S.J. Lee;D. Plaisted
國立中山大學	1990-05	New Applications of a Fast Propositional Calculus Decision Procedure	S.J. Lee;D. Plaisted

Showing items 101-125 of 126 (6 Page(s) Totally)
<< < 1 2 3 4 5 6 > >>
View [10|25|50] records per page

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