交互式定理证明与程序开发百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有30,000项符合查询结果项。（搜索耗时：0.0121秒）

实定理的复证明=COMPLEX PROOFS OF REAL THEOREMS

购买本书
PETER D.LAX2017 年出版92 页ISBN：7040470000
用Visual C++.NET开发交互式CAD系统

购买本书
黄国明编著2003 年出版432 页ISBN：
FLASH/FLEX ACTIONSCRIPT 3.0交互式开发详解：语法基础、典型应用、视频网站实战

购买本书
吕辉等编著2008 年出版447 页ISBN：
刑事证明责任研究穿梭于实体与程序之间 from both substantial and procedural angles of view

购买本书
黄维智著2007 年出版379 页ISBN：7301122969
证明责任是一种诉讼法上的证明负担，同时又是对实体法的犯罪构成进行证明的义务担当，因此证明责任规范不可避免地涉及实体与程序两个方面，可以说是沟通实体与程序之间的桥梁。刑事证明责任问题绝非一个无意义的...
论行政程序中的证明标准＝ON THE STANDARD OF PROOF IN ADMINISTRATIVE PROCEDURE

购买本书
汪成红著2014 年出版0 页ISBN：
武汉松联环球电脑信息有限公司 Java TM国际网络交互程序设计及数据库

购买本书
刘邦泰1997 年出版0 页ISBN：
数理逻辑与机器证明

购买本书
2222 年出版0 页ISBN：
裁判思维与证明方法

购买本书
程春华著2016 年出版0 页ISBN：
证明责任的法理与技术

购买本书
霍海红著2018 年出版0 页ISBN：
证明与反驳数学发现的逻辑

购买本书
1987 年出版0 页ISBN：