当前位置:首页 > 名称
大约有3,518项符合查询结果项。(搜索耗时:0.0644秒)
为您推荐: 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
-
-
-
-
机器人嘉年华 认识机器人
铁皮人美术编2010 年出版96 页ISBN:9787534258084本书是国内原创美绘科普丛书,每册从一个主题切入,深入浅出地讲述各种趣味科普知识。内容有趣,插图精美,整体风格时尚,具有一定的市场潜质。...
-
-
-
现代简史 从机器到机器人
杜君立著2018 年出版339 页ISBN:9787542662415本书是《现代的历程》精华本,书中通过钟表、印刷机、蒸汽机、电脑等机器的发明及发展,勾画了人类文明和文化史,特别是现代史的发展进程。作者旁征博引,资料翔实,语言通俗风趣,并在再现历史之余提出了自己独到的.....
-
刑事证明责任研究 穿梭于实体与程序之间 from both substantial and procedural angles of view
黄维智著2007 年出版379 页ISBN:7301122969证明责任是一种诉讼法上的证明负担,同时又是对实体法的犯罪构成进行证明的义务担当,因此证明责任规范不可避免地涉及实体与程序两个方面,可以说是沟通实体与程序之间的桥梁。刑事证明责任问题绝非一个无意义的...
-
学科分类
出版时间
