WorldCat Identities

Lee, Richard Char-Tung 1939-

Overview
Works: 17 works in 113 publications in 5 languages and 1,975 library holdings
Genres: Conference papers and proceedings  Fiction  Academic theses 
Roles: Author, Editor, htt
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works by Richard Char-Tung Lee
Symbolic logic and mechanical theorem proving by Chin-Liang Chang( Book )

45 editions published between 1973 and 1994 in 4 languages and held by 949 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
ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings by Wen-Lian Hsu( )

22 editions published in 1991 in English and held by 452 WorldCat member libraries worldwide

"This volume presents the proceedings of the Second Annual International Symposium on Algorithms held at Academia Sinica, Taipei, Republic of China, December 16-18, 1991. The symposium was organized by the Institute of Information Science, Academia Sinica, and the National Tsing Hua University. In response to the program committee's call for papers, 90 papers were submitted, from which the committee selected 36 for presentation at the symposium. In addition to these contributed papers, the symposium included 5 invited talks. The subjects of the papers range widely in the area of discrete algorithms, over such topics as computational geometry, graph algorithms, complexity theory, parallel algorithms, distributed computing and computational algebra."--PUBLISHER'S WEBSITE
Communications engineering : essentials for computer scientists and electrical engineers by Richard Char-Tung Lee( )

11 editions published in 2007 in English and held by 443 WorldCat member libraries worldwide

The writing of this book was motivated by the authors' observation that convergence is requiring computer science students to gain a better understanding of communications concepts. The authors have therefore written a book that addresses this gap, delivering to the computer science student the key essentials in a thorough manner. The book walks the reader through the Fourier transform, analog and digital modulation techniques, multiple access communications, spread-spectrum communications, and source coding and channel coding. The book has already been used in the classroom and was met with great success in universities as an introductory text in electrical engineering programs
Introduction to the design and analysis of algorithms : a strategic approach by Richard Char-Tung Lee( Book )

13 editions published between 1999 and 2008 in English and Chinese and held by 68 WorldCat member libraries worldwide

Ben shu zhong dian jie shao yong yu she ji suan fa de ce lüe, Jie shao le jian zhi sou suo, Fen tan fen xi, Sui ji suan fa, Zai xian suan fa yi ji duo xiang shi jin si fang an deng xiang dui jiao xin de si xiang he zhong duo ji yu fen tan fen xi xin kai fa de suan fa, Mei ge suan fa dou yu shi li yi qi jia yi jie shao, Er qie mei ge li zi dou li yong tu jin xing xiang xi jie shi
Symbolic logic and mechanical theorem proving by Jinliang Zhang( Book )

3 editions published between 1973 and 2014 in English and held by 20 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
A completeness theorem and a computer program for finding theorems derivable from given axioms by Richard Char-Tung Lee( )

4 editions published between 1967 and 1968 in English and held by 12 WorldCat member libraries worldwide

Logica simbolica by Chin-Liang Chang( Book )

1 edition published in 1988 in Italian and held by 9 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

ELIC at CEBAF( )

1 edition published in 2005 in English and held by 4 WorldCat member libraries worldwide

We report on the progress of the conceptual development of the energy recovering linac (ERL)-based Electron-Light Ion Collider (ELIC) at CEBAF that is envisioned to reach luminosity level of 1033-1035 /cm2s with both beams polarized to perform a new class of experiments in fundamental nuclear physics. Four interaction points with all light ion species longitudinally or transversally polarized and fast flipping of the spin for all beams are planned. The unusually high luminosity concept is based on the use of the ERL and circulator ring-based electron cooling and crab crossing colliding beams. Our recent studies concentrate on the design of low beta interaction points with crab-crossing colliding beams, the exploration on raising the polarized electron injector current to the level of 3-30 mA with the use of electron circulator-collider ring, forming a concept of stacking and cooling of the ion beams, specifications of the electron cooling facility, and studies of beam-beam interaction and intra-beam scattering
Give a man a bad name by Roberta Leigh( Book )

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

She Rolled the Dice FirstMarly Bradshaw welcomed the challenge of spending two months in Thailand installing a computer system for one of Bangkok's newest luxury hotels. She also welcomed the opportunity to set Alex Hamilton, hotel magnate and notorious womanizer, up for a fall. It meant Marly had to play a dangerous game-she had to make Alex fall in love with her. The danger was twofold-Marly knew only too well that Alex didn't play any game by the rules and she suspected that her own heart could easily be broken
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

Synthesis of broadband matching networks : research project by Richard Char-Tung Lee( )

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

Application of automatic clustering to emitter identification by James R Slagle( Book )

2 editions published between 1976 and 1977 in English and held by 2 WorldCat member libraries worldwide

The goal of clustering is the partitioning of a given set of objects into subsets called clusters in such a way that the objects in a cluster are similar to one another and that objects in different clusters are dissimilar. Clustering may help in getting a more or less direct understanding of the relationships among the objects, and it may be useful as a first step in pattern recognition. Some possible applications are automatic phoneme recognition, data base management systems, personnel classification, detection of errors in files and computer security. Several clustering methods were applied to data sets of practical importance. Automatic pattern recognition using the k nearest neighbors was applied. An efficient method for selecting a good subset from the full of 44 features was tried. In all cases, the results were good. (Author)
Suan fa she ji yu fen xi dao lun : Ying wen ban = Introduction to the design and analysis of algorithms a strategic approach by Richard Char-Tung Lee( Book )

2 editions published in 2007 in Chinese and English and held by 2 WorldCat member libraries worldwide

A hierarchical clustering algorithm based on a one-dimensional clustering procedure by James R Slagle( Book )

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

Symbolig logig and Mechanical Theorems Proving by Jinliang Zhang( Book )

1 edition published in 1973 in English and held by 1 WorldCat member library 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 Symbolic logic and mechanical theorem proving Symbolig logig and Mechanical Theorems Proving Symbolig logig and Mechanical Theorems Proving
Covers
Communications engineering : essentials for computer scientists and electrical engineersIntroduction to the design and analysis of algorithms : a strategic approachSymbolic logic and mechanical theorem provingSymbolig logig and Mechanical Theorems ProvingSymbolig logig and Mechanical Theorems Proving
Alternative Names
Char-Tung Lee Richard

Char-Tung Lee, Richard 1939-

Lee, Char-Tung.

Lee, Char-Tung 1939-

Lee Char-Tung Richard

Lee, Chia-Tung 1939-

Lee, Chiar-Tung.

Lee, R. C. T.

Lee, R. C. T. 1939-

Lee, R. C. T. (Richard Char-Tung), 1939-

Lee Richard C.T.

Li, R.

Li, R. 1939-

R. C. T. Lee Taiwanese computer scientist

R. Li

Ли Р.

李家同

李家同 臺灣資訊科學家、作家

Languages