-
1دورية أكاديمية
المؤلفون: Wei Su, Chuan Cai, Paul S. Wang, Hengjie Li, Zhen Huang, Qiang Huang
المصدر: Symmetry, Vol 13, Iss 2, p 188 (2021)
مصطلحات موضوعية: binary lambda calculus, answer checking, complexity, mathematical expression, Mathematics, QA1-939
وصف الملف: electronic resource
-
2
المؤلفون: Paul S. Wang, Zhen Huang, Wei Su, Chuan Cai, Hengjie Li, Qiang Huang
المصدر: Symmetry, Vol 13, Iss 188, p 188 (2021)
Symmetry; Volume 13; Issue 2; Pages: 188مصطلحات موضوعية: binary lambda calculus, answer checking, complexity, mathematical expression, Theoretical computer science, Physics and Astronomy (miscellaneous), Computer science, General Mathematics, 0502 economics and business, Computer Science (miscellaneous), Representation (mathematics), Equivalence (measure theory), computer.programming_language, De Bruijn notation, Kolmogorov complexity, lcsh:Mathematics, 05 social sciences, 050301 education, Rule-based system, lcsh:QA1-939, Symbolic computation, Expression (mathematics), Chemistry (miscellaneous), 050211 marketing, Lambda calculus, 0503 education, computer
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8aaaf6fd96fb2339fba61883f9b5c35Test
https://doi.org/10.3390/sym13020188Test