THE LOGICAL BASIS FOR COMPUTER PROGRAMMING VOLUME1 DEDUCTIVE REASONING
2222 年出版618 页ISBN:0201182602
encyclopedia of mathematics and its applications convex bodies:the brunn-minkowski theory second ex
rolf schneider2014 年出版736 页ISBN:1107601010
TWICE AS LESS:BLACK ENGLISH AND THE PERFORMANCE OF BLACK STUDENTS IN MATHEMATICS AND SCIENCE
ELEANOR WILSON ORR1987 年出版240 页ISBN:0393305856
Lecture Notes in Artificial Intelligence 3492:Logical Aspects of computational Linguistics
Philippe Blache2005 年出版0 页ISBN:
Lecture Notes in Artificial Intelligence 2014:Logical Aspects of Computational Linguistics
Michael Moortgat2001 年出版287 页ISBN:354042251X
Clinical diagnosis and the laboratory : logical strategies for common medical problems
Griner1986 年出版615 页ISBN:0815140045
分布式网络化作战 网络中心战基础 the foundations of network centric warfare
(美)杰夫·凯尔斯(Jeff Cares)著;于全译2006 年出版140 页ISBN:7563513477
本书是Jeff Cares的新作,旨在用定量分析的方法来精确描述“分布式网络化作战”的概念,也可以说是对当前广泛关注的“网络中心战”理论的一种提炼。这是第一次用严格的数学推导方式定义了分布式网络化作战的模...
PROCEEDINGS OF THE SEVENTH CHINA-JAPAN SEMINAR ON NUMERICAL MATHEMATICS
ZHONG-CI SHI HISASHI OKAMOTO2006 年出版317 页ISBN:7030172396
“第七届中日数值数学会议论文集”汇集了中国和日本数值数学与科学计算专家近年来的最新研究成果。论文集收录了与会代表的27篇论文,其中包括邀请报告15篇;内容涉及到数值数学与科学计算的各个方面,包括数值线...
LECTURE NOTES IN MATHEMATICS 914: THE WITT GROUP OF DEGREE K MAPS AND ASYMMETRIC INNER PRODUCT SPACE
1982 年出版273 页ISBN:3540112014;0387112014