WorldCat Identities

Chang, Chin-Liang 1937-

Overview
Works: 30 works in 88 publications in 5 languages and 1,243 library holdings
Genres: Academic theses 
Roles: Author, Other, Contributor, Creator
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works by Chin-Liang Chang
Symbolic logic and mechanical theorem proving by Chin-Liang Chang( Book )

44 editions published between 1973 and 1994 in 5 languages and held by 948 WorldCat member libraries worldwide

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis
Fuzzy-logic-based programming by Chin-Liang Chang( Book )

7 editions published in 1997 in English and Undetermined and held by 147 WorldCat member libraries worldwide

The number of fuzzy logic applications is very large. This book tells the reader how to use fuzzy logic to find solutions in areas such as control systems, factory automation, product quality control, product inspection, instrumentation, pattern recognition, image analysis, database query processing, decision support, data mining, time series (waveform) databases, geographic information systems, and image databases. Those who have applications in these areas will find the book invaluable. The author was the first student to write a PhD fuzzy logic thesis under Professor Lotfi A. Zadeh (the inventor of fuzzy logic), in 1967 at the University of California, Berkeley. In 1993, he designed and introduced the NICEL language for writing fuzzy programs that enclose if-then rules. NICEL is powerful and easy to use. The reader will find in the book that many algorithms for real world applications can be conveniently represented in NICEL
Introduction to artificial intelligence techniques by Chin-Liang Chang( Book )

4 editions published between 1985 and 1986 in English and held by 89 WorldCat member libraries worldwide

An introduction to artificial intelligence, knowledge representation languages and Prolog
Logica simbolica by Chin-Liang Chang( Book )

1 edition published in 1988 in Italian and held by 9 WorldCat member libraries worldwide

Fuzzy sets and pattern recognition by Chin-Liang Chang( )

3 editions published between 1967 and 1980 in English and held by 5 WorldCat member libraries worldwide

Matematicheskaia logika i avtomaticheskoe Dokazatel'stvo teorem by Chin-Liang Chang( Book )

3 editions published in 1983 in Russian and Undetermined and held by 4 WorldCat member libraries worldwide

Biological Interaction of Inhaled Mineral Fibers and Cigarette Smoke by AP, Ed Wehner( )

3 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide

Biological Interactions, Important Things We Do Not Know; Inhalation Exposure of Rodents to Mineral Fibers and Cigarette Smoke, What Did We Learn; Model for the Joint Influence of Occupational Exposure to Carcinogenic Dust and to Cigarette Smoke and Occupational Lung Cancer; A Hypothesis for Explaining the Syncarcinogenic Effect of Cigarette Smoke and Asbestos; How Smoking and Asbestos Exposure Interact to Increase the Risk of Pulmonary Carcinoma, A Mechanistic Hypothesis; Factors Affecting the Carcinogenicity of Mineral Fibers and Their Relationship to the Synergistic Effects of Tobacco Smoke; An Animal Model of Co-Exposure to Cigarette Smoke and Minerals Dusts; A Model for the Influence of Inhaled Mineral Fibers on the Pulmonary Uptake of Polycyclic Aromatic Hydrocarbons (PAH) from Cigarette Smoke; Chemoprevention of Lung Cancer with Beta-Carotene and Retinol in Persons at High Risk Due to Asbestos Occupational Exposures and/or Cigarette Smoking, a Double Blind Radomized Trial; Evaluation of Breathlessness by Exercise Testing in Cigarette Smoking and Nonsmoking Asbestos Workers; Effect of Cigarette Smoking on the Cardiorespiratory Responses to Exercise in Young Men and Middle Aged Asbestos Workers; Physical Factors Affecting Lung Deposition of Cigarette Smoke (with Syncarcinogenic Radon Progeny Effects) and Mineral Fibers; Inhalation Experiments on Retention and Lung Clearance of Asbestos in Combination with Cigarette Smoking; Combined Effects of Tobacco Smoke and Asbestos Fibers in the Lung, Synergism or Increased Dose to Target Sites; Intrapulmonary Airway Branching and Parenchymal Deposition of Chrysotile Asbestos Fibers; The Effect of Chronic Cigarette Smoke Inhalation on the Long Term Pulmonary Clearance of Inhaled Particles in the Rat; Comparison of Particle Deposition Patterns and Functional Responses of Pulmonary Macrophages in Small Rodent Species; Lung Clearance of Inhaled Particulates, Mechanism of Macrophage Recruitment and Phagocytosis at Sites of Particle/Fiber Deposition; Incorporation of Tritiated Thymidine by Vascular, Epithelial and Interstitial Cells in Asbestos Exposed Animals; The Effects of Amphibole and Serpentine Asbestos Inhalation on the Distribution and Functional State of Alveolar Macrophage Subpopulations; Characterization of Dusts from Machining of Fiber Epoxy Composites and Biological Responses to Respirable Fractions; A Study of the Biological Activity of Erionite in Relation to its Chemical and Structural Characteristics; Effect of Erionite Inhalation on the Lungs of Rats; Comparison of Mesothelioma Induction in Rats by Asbestos and Nonasbestos Mineral Fibers, Possible Correlation with Human Exposure Data; Chromosomal Changes Associated with Tumorigenic Mineral Fibers; A Possible Influence of Mineral Fibers on Cigarette Smoking Induced Changes in Lipids and Lipid Metabolizing Enzymes; A Novel Culture System for Maintaining Differentiated Respiratory Epithelial Cells Between Air and Liquid Phases, A Possible Model for Studying Interactions Between Mineral Fibers, Gases, and Airway Epithelium; Physicochemical Properties and Membranolytic Activities of the Titanium Dioxide Polymorphs Compared with Those of Quartz; Inorganic Particles Found in Cigarette Tobacco, Cigarette Ash, and Cigarette Smoke; Characterization of Dusts Collected During the Machining of Epoxy-Reinforced Fibrous Materials
Ding shan cao tang wai ji wu juan by Dingshan Chen( Book )

1 edition published in 1952 in Chinese and held by 3 WorldCat member libraries worldwide

Wound Healing Monitoring by Video Sequence Using Integral Optical Flow by Chin-Liang Chang( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

<> by CELLO Collaboration( )

1 edition published in 1982 in English and held by 2 WorldCat member libraries worldwide

Dual-Band High Selective Frequency Selective Surface Design and Analysis by Ch.-Y Gao( )

1 edition published in 2018 in English and held by 2 WorldCat member libraries worldwide

<> by CELLO Collaboration( )

1 edition published in 1982 in English and held by 2 WorldCat member libraries worldwide

Correction to: Wound Healing Monitoring by Video Sequence Using Integral Optical Flow by Chin-Liang Chang( )

1 edition published in 2020 in English and held by 2 WorldCat member libraries worldwide

Symbolig logig and Mechanical Theorems Proving by Chin-Liang Chang( Book )

1 edition published in 1973 in English and held by 2 WorldCat member libraries worldwide

Microbial diversity associated with Tricholoma matsutake fruiting bodies by Q Li( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Verification and validation of expert systems : Seventh National Conference on Artificial Intelligence, tutorial program, Sunday, August 21, 1988, 2pm-6pm by Rolf A Stachowitz( Book )

1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide

Abstracts of papers presented at the 2nd conference on agricultural entomology by Shoshana Yathom( )

1 edition published in 1986 in English and held by 2 WorldCat member libraries worldwide

Analysis of the energy weighted angular correlations in hadronice + e − annihilations at 22 and 34 GeV by CELLO Collaboration( )

1 edition published in 1982 in English and held by 2 WorldCat member libraries worldwide

Abstracts of papers presented at by R Or( )

1 edition published in 1987 in English and held by 2 WorldCat member libraries worldwide

Integral Optical Flow and its Application for Monitoring Dynamic Objects from a Video Sequence by Chin-Liang Chang( )

1 edition published in 2017 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Symbolic l ... to 0.00 for Symbolic l ...)

Symbolic logic and mechanical theorem proving Symbolig logig and Mechanical Theorems Proving
Covers
Fuzzy-logic-based programmingSymbolig logig and Mechanical Theorems Proving
Alternative Names
Čen', Č.

Chenʹ, Ch.

Chin-Liang Chang.

Christopher Chen onderzoeker

Christopher Chen researcher (ORCID 0000-0001-5130-0079)

Чень Ч.

Чэн, Чень-чунь.

Languages