( en | de | ru )

 

Disambiguation of "Chang, C. L."

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Logical and Mechanical Theorem Proving

, and . Academic Press, New York, (1973)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sheng-Chia Chang

William Ockham's view on human capability. Uni Frankfurt Main, (2009)

Ching-Ming Chang

Liang-Zung Chang

Pao-Yüan Chang

Wu Chang

 

Other publications of authors with the same name

Limits on Active to Sterile Neutrino Oscillations from Disappearance Searches in the MINOS, Daya Bay, and Bugey-3 Experiments, , , , , , , , , and 321 other author(s). (2016)cite arxiv:1607.01177Comment: 8 pages, 4 figures, to be submitted to Phys. Rev. Letters.CMB/kSZ and Compton-$y$ Maps from 2500 square degrees of SPT-SZ and Planck Survey Data, , , , , , , , , and 30 other author(s). (2021)cite arxiv:2102.05033Comment: 27 pages (including appendices), 7 figures.Resolution Plans in Theorem Proving.. IJCAI, page 143-148. William Kaufmann, (1979)Fostering self-regulated learning in a blended environment using group awareness and peer assistance as external scaffolds., , and . J. Comput. Assist. Learn., 32 (1): 77-93 (2016)An Improved Measurement of the Secondary Cosmic Microwave Background Anisotropies from the SPT-SZ + SPTpol Surveys, , , , , , , , , and 67 other author(s). (2020)cite arxiv:2002.06197Comment: Submitted to ApJ, 16 pages. arXiv admin note: text overlap with arXiv:1408.3161.A Detection of CMB-Cluster Lensing using Polarization Data from SPTpol, , , , , , , , , and 119 other author(s). (2019)cite arxiv:1907.08605Comment: 10 pages, 3 figures, 1 table; to be submitted to PRL; comments welcome.Optimal CMB Lensing Reconstruction and Parameter Estimation with SPTpol Data, , , , , , , , , and 59 other author(s). (2020)cite arxiv:2012.01709Comment: 27 pages, 14 figures, accompanying software package available at https://cosmicmar.com/CMBLensing.jl.Diagnostic test-pattern generation targeting open-segment defects and its diagnosis flow., , and . IET Comput. Digit. Tech., 6 (3): 186-193 (2012)Theorem proving with variable-constrained resolution.. Inf. Sci., 4 (3-4): 217-231 (1972)A graph-structural approach for the generalization of data management systems., and . Inf. Sci., 12 (1): 1-18 (1977)