结果:找到“Logic Computation”相关内容14个,排序为按回复时间降序,搜索更多相关帖子请点击“高级
Logic and Computation
0 个回复 - 509 次查看 Logic and Computation 作者: Lawrence C. Paulson 出版社: Cambridge University Press 副标题: Interactive Proof with Cambridge LCF 出版年: 1990-7-27 页数: 320 定价: USD 69.00 装帧: Paperback 丛 ...2023-8-23 06:43 - wxwpxh - IT基础
Computation Engineering Applied Automata Theory and Logic-Ganesh Gopalakrishnan
1 个回复 - 516 次查看 Computation Engineering 作者: Gopalakrishnan, Ganesh 页数: 471 定价: $ 140.12 ISBN: 97814419374142023-2-25 16:58 - wxwpxh - IT基础
Quantum Computation and Logic
12 个回复 - 756 次查看 Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations (Trends in Logic) By 作者: Maria Luisa Dalla Chiara – Roberto Giuntini – Roberto Leporini – Giuseppe Sergi ...2019-1-11 01:08 - 13950050756 - 经管书评
求SAGE journals文献《Computational Grounded Theory A Methodological Framework》
1 个回复 - 534 次查看 【作者(必填)】Laura K. Nelson 【文题(必填)】Computational Grounded Theory A Methodological Framework 【年份(必填)】2018 【全文链接或数据库名称(选填)】http://journals.sagepub.com/doi/full/10. ...2018-2-27 19:21 - OhGretta - 求助成功区
Computational Nuclear Engineering and Radiological Science Using Python
19 个回复 - 2446 次查看 Academic Press | 2018 | ISBN: 9780128122532 | 444 pages | PDF true | 11.6 M **** 本内容被作者隐藏 ****2017-12-21 23:39 - igs816 - 经管书评
Computation Engineering: Applied Automata Theory and Logic
5 个回复 - 941 次查看 Ganesh Gopalakrishnan, "Computation Engineering: Applied Automata Theory and Logic" 2006 | pages: 492 | ISBN: 1441937412, 0387244182 | PDF | 3,6 mb Although it is critical in todays world that ...2017-2-22 14:03 - igs816 - 量化投资
Computational Intelligence: A Methodological Introduction (2016, 2e), PDF + EPUB
14 个回复 - 2797 次查看 Computational Intelligence: A Methodological Introduction, 2nd Edition Authors: Rudolf Kruse, Christian Borgelt, Christian Braune, Sanaz Mostaghim, Matthias Steinbrecher 目录(共27章,564页) ...2016-11-22 17:37 - cmwei333 - winbugs及其他软件专版
Logics of Time and Computation (Center for the Study of Language and Information
1 个回复 - 1008 次查看 Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of ...2015-7-21 09:53 - nelsoncwlee - 金融学(理论版)
Reinforcement Learning, Logic and Evolutionary Computation
1 个回复 - 794 次查看 https://www.amazon.ca/Reinforcement-Learning-Logic-Evolutionary-Computation/dp/383830196X/ref=sr_1_29?ie=UTF8&qid=1458258658&sr=8-29&keywords=Reinforcement+Learning2016-3-18 08:14 - Lisrelchen - winbugs及其他软件专版
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
0 个回复 - 1251 次查看 This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating ...2015-7-21 07:01 - nelsoncwlee - 金融学(理论版)
Good Math A Geek's Guide to the Beauty of Numbers, Logic, and Computation
5 个回复 - 1638 次查看 先声明,我没有这本书,我只是介绍一下,哪位有可以共享一下,谢谢! 数学之美 (英文版) Good Math A Geek's Guide to the Beauty of Numbers, Logic, and Computation (E-Book) ☆ 出版信息:☆ [作者 ...2013-11-9 09:08 - kaifengedu - R语言论坛
A computational study of liposome logic: towards cellular computing from the bot
1 个回复 - 1198 次查看 A computational study of liposome logic: towards cellular computing from the bottom up Biomedical and Life Sciences Systems and Synthetic Biology Volume 4, Number 3, 157-179, DOI: 10.1007/s11693-0 ...2011-11-12 18:23 - kuhasu - 求助成功区