Lee, Richard CharTung 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 CharTung Lee
Symbolic logic and mechanical theorem proving by
ChinLiang 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 49 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
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 49 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 1618, 1991 : proceedings by
WenLian 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 1618, 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
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 1618, 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 CharTung 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, spreadspectrum 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
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, spreadspectrum 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 CharTung 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
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 49 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
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 49 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 CharTung Lee(
)
4 editions published between 1967 and 1968 in English and held by 12 WorldCat member libraries worldwide
4 editions published between 1967 and 1968 in English and held by 12 WorldCat member libraries worldwide
Logica simbolica by
ChinLiang Chang(
Book
)
1 edition published in 1988 in Italian and held by 9 WorldCat member libraries worldwide
1 edition published in 1988 in Italian and held by 9 WorldCat member libraries worldwide
Matematicheskaia logika i avtomaticheskoe Dokazatel'stvo teorem by
ChinLiang Chang(
Book
)
3 editions published in 1983 in Russian and Undetermined and held by 4 WorldCat member libraries worldwide
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 ElectronLight Ion Collider (ELIC) at CEBAF that is envisioned to reach luminosity level of 10331035 /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 ringbased electron cooling and crab crossing colliding beams. Our recent studies concentrate on the design of low beta interaction points with crabcrossing colliding beams, the exploration on raising the polarized electron injector current to the level of 330 mA with the use of electron circulatorcollider ring, forming a concept of stacking and cooling of the ion beams, specifications of the electron cooling facility, and studies of beambeam interaction and intrabeam scattering
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 ElectronLight Ion Collider (ELIC) at CEBAF that is envisioned to reach luminosity level of 10331035 /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 ringbased electron cooling and crab crossing colliding beams. Our recent studies concentrate on the design of low beta interaction points with crabcrossing colliding beams, the exploration on raising the polarized electron injector current to the level of 330 mA with the use of electron circulatorcollider ring, forming a concept of stacking and cooling of the ion beams, specifications of the electron cooling facility, and studies of beambeam interaction and intrabeam 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 gameshe had to make Alex fall in love with her. The danger was twofoldMarly 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
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 gameshe had to make Alex fall in love with her. The danger was twofoldMarly 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
ChinLiang Chang(
Book
)
1 edition published in 1973 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1973 in English and held by 2 WorldCat member libraries worldwide
Synthesis of broadband matching networks : research project by
Richard CharTung Lee(
)
1 edition published in 1963 in English and held by 2 WorldCat member libraries worldwide
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)
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 CharTung Lee(
Book
)
2 editions published in 2007 in Chinese and English and held by 2 WorldCat member libraries worldwide
2 editions published in 2007 in Chinese and English and held by 2 WorldCat member libraries worldwide
Ke yu ci zhu shi shu wei wei liu ti jing pian shang dan ci jian ce duo zhong pei tai fa yu yin zi zhi ji shu yan fa = Simultaneous
Detection of Multiple Embryo Growth Factors by a Beadbased Digital Microfluidic Chip by Lijiatong(
Book
)
1 edition published in 2018 in Chinese and held by 1 WorldCat member library worldwide
1 edition published in 2018 in Chinese and held by 1 WorldCat member library worldwide
A hierarchical clustering algorithm based on a onedimensional clustering procedure by
James R Slagle(
Book
)
1 edition published in 1973 in English and held by 1 WorldCat member library worldwide
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
1 edition published in 1973 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
General  Special 
Related Identities
 Chang, ChinLiang 1937 Author Creator
 Hsu, WenLian Author Editor
 Lin, JungShan 1964 Other
 Chiu, MaoChing Other
 Tseng, S. S.
 Chang, R. C.
 Tsai, Y. T.
 Denshi Jōhō Tsūshin Gakkai (Japan)
 Jōhō Shori Gakkai (Japan)
 Zhang, Jinliang Author
Useful Links
Associated Subjects
Algorithms Artificial intelligence Automatic theorem proving Cluster analysisComputer programs Coding theory Combinatorial analysis Computational complexity Computer algorithms Computer graphics Computer programming Computers Computer science Computer software Distribution (Probability theory) Electrical engineering Engineering Information theory Logic, Symbolic and mathematical Probabilities Signal theory (Telecommunication) Statistics Telecommunication Thailand Women computer programmers
Covers
Alternative Names
CharTung Lee Richard
CharTung Lee, Richard 1939
Lee, CharTung.
Lee, CharTung 1939
Lee CharTung Richard
Lee, ChiaTung 1939
Lee, ChiarTung.
Lee, R. C. T.
Lee, R. C. T. 1939
Lee, R. C. T. (Richard CharTung), 1939
Lee Richard C.T.
Li, R.
Li, R. 1939
R. C. T. Lee Taiwanese computer scientist
R. Li
Ли Р.
李家同
李家同 臺灣資訊科學家、作家
Languages