-
1
المؤلفون: Kazuyuki Kaneda, Yuki Sato, Ayanari Sibayama, Kiyoshi Horie, Yutaka Nagashima
المصدر: 2022 IEEE 11th Global Conference on Consumer Electronics (GCCE).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::895dbb0886d45daa0218c614c0fcdb5c
https://doi.org/10.1109/gcce56475.2022.10014198 -
2
المؤلفون: Yutaka Nagashima
المصدر: Tests and Proofs ISBN: 9783031098260
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7ad125d7f630d9133b6a69faf13c9956
https://doi.org/10.1007/978-3-031-09827-7_4 -
3
المؤلفون: Yutaka Nagashima
المصدر: IJCAI
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
IJCAI 2021مصطلحات موضوعية: Computer science, Programming language, Mathematical induction, HOL, computer.software_genre, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c324273aeee325bce3a759f24d36435
https://doi.org/10.24963/ijcai.2021/273 -
4
المؤلفون: Yutaka Nagashima
المصدر: Lecture Notes in Computer Science ISBN: 9783030535179
CICMمصطلحات موضوعية: Computer science, Programming language, Scale (chemistry), HOL, computer.software_genre, Data description, Field (computer science), Theorem provers, Subject-matter expert, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Data format, Simple (abstract algebra), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d5af421f11bafa3841d51d2b77d06929
https://doi.org/10.1007/978-3-030-53518-6_21 -
5
المؤلفون: Yutaka Nagashima
المصدر: GECCO (Companion)
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Conjecture, Computer science, Computer Science - Artificial Intelligence, HOL, 0102 computer and information sciences, 02 engineering and technology, Mathematical proof, 01 natural sciences, Evolutionary computation, Logic in Computer Science (cs.LO), Automated theorem proving, Artificial Intelligence (cs.AI), System programming, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Heuristics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afe5368ec9aa337959acc1a5fcf5ba37
http://arxiv.org/abs/1904.08468 -
6
المؤلفون: Yutaka Nagashima
المصدر: Programming Languages and Systems ISBN: 9783030341749
APLASمصطلحات موضوعية: Domain-specific language, LOOP (programming language), Computer science, Programming language, HOL, computer.software_genre, ENCODE, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Problem domain, Heuristics, computer, Knowledge transfer, Interpreter
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0c8b13bfa58075ac2c9a4a41ac630fc0
https://doi.org/10.1007/978-3-030-34175-6_14 -
7
المؤلفون: Yutaka Nagashima, Yilun He
المصدر: ASE
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Programming language, Computer Science - Artificial Intelligence, Proof assistant, HOL, 020207 software engineering, 02 engineering and technology, Recommender system, computer.software_genre, Logic in Computer Science (cs.LO), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Artificial Intelligence (cs.AI), 020204 information systems, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0647ca49d56001cdf563f7f17ab784b4
-
8
المؤلفون: Julian Parsert, Yutaka Nagashima
المصدر: Lecture Notes in Computer Science ISBN: 9783319968117
CICMمصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Goal orientation, Exploit, Computer science, Programming language, business.industry, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, HOL, computer.software_genre, business, computer, Automation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0513119d8e613436e34e9f51b0cfe285
https://doi.org/10.1007/978-3-319-96812-4_19 -
9
المصدر: 佐世保工業高等専門学校研究報告 = RESEARCH REPORTS OF NATIONAL INSTITUTE OF TECHNOLOGY,SASEBO COLLEGE. 49:51-64
URL الوصول: https://explore.openaire.eu/search/publication?articleId=jairo_______::5b85d7bba49373c1b6a728aac4ade7c1
http://id.nii.ac.jp/1416/00000840/ -
10
المؤلفون: Liam O'Connor, Japheth Lim, Zilin Chen, Christine Rizkallah, Sidney Amani, Gerwin Klein, Thomas Sewell, Toby Murray, Yutaka Nagashima
المصدر: ICFP
مصطلحات موضوعية: Theoretical computer science, Computer science, Programming language, business.industry, Semantics (computer science), HOL, 020207 software engineering, 02 engineering and technology, computer.software_genre, Semantics, Mathematical proof, Software, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Compiler, business, computer, Garbage collection
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4ede997fed6f4eb86a60b6487148e162
https://doi.org/10.1145/2951913.2951940