所有科目 数学 x 数理逻辑与数学基础 x
二级学科：
数学史(15135) 数理逻辑与数学基础(982) 数论(641) 代数学(5407) 代数几何学(295) 几何学(2097) 拓扑学(347) 数学分析(2357) 非标准分析(82) 函数论(580) 常微分方程(16) 偏微分方程(25) 积分方程(1) 泛函分析(553) 计算数学(416) 概率论(4262) 数理统计学(348) 应用统计数学(22) 运筹学(558) 组合数学(223) 离散数学(278) 模糊数学(46) 应用数学(2272)
¥ 4548
书评(0)
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Abramsky S. Gabbay Dov M. Maibaum T. S. E. / 1995-04-27 / Oxford University Press
¥ 1054
书评(0)
The Logical Status of Diagrams
Sun-Joo Shin / 1995-04-05 / Cambridge University Press
¥ 910
书评(0)
Collegium Logicum
Kurt Godel Gesellschaft / 1995-01-18 / Springer Wien
¥ 1254
书评(0)
Features and Fluents:The Representation of Knowledge about Dynamical Systems, Volume 1
Sandewall Erik / 1995-01-05 / Oxford University Press
¥ 1341
书评(0)
Advances in Logic Programming Theory
Levi Giorgio / 1994-12-29 / Oxford University Press
¥ 1953
书评(0)
What is a Logical System?
Gabbay D. M. / 1994-12-08 / Oxford University Press
¥ 1940
书评(0)
Handbook of Categorical Algebra
Francis Borceux / 1994-12-01 / Cambridge University Press
¥ 876
书评(0)
First Steps in Modal Logic
Sally Popkorn / 1994-12-01 / Cambridge University Press
¥ 1983
书评(0)
Groups of Finite Morley Rank
Borovik Alexandre Nesin Ali / 1994-12-01 / Oxford University Press
¥ 2224
书评(0)
Computation Over Fuzzy Quantities
Milan Mares / 1994-11-22 / CRC Press
¥ 2886
书评(0)
Cardinal Arithmetic
Shelah Saharon / 1994-11-17 / Oxford University Press
¥ 1821
书评(0)
Handbook of Categorical Algebra
Francis Borceux / 1994-11-01 / Cambridge University Press
¥ 1166
书评(0)
Nonstandard Queries and Nonstandard Answers
Demolombe R. Imielinski T. / 1994-10-27 / Oxford University Press
¥ 1601
书评(0)
Handbook of Categorical Algebra
Francis Borceux / 1994-09-01 / Cambridge University Press
¥ 1061
书评(0)
Automorphisms of First-order Structures
Kaye Richard Macpherson Dugald / 1994-08-11 / Oxford University Press
¥ 3411
书评(0)
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 1
Gabbay Dov M. Hodkinson Ian Reynolds Mark / 1994-07-21 / Oxford University Press
¥ 530
书评(0)
Mathematical Logic
Ebbinghaus / 1994-06-15 / Springer New York
¥ 4548
书评(0)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Gabbay Dov M. Hogger C. J. Robinson J. A. / 1994-03-17 / Oxford University Press
¥ 5015
书评(0)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Gabbay Dov M. Hogger C. J. Robinson J. A. / 1994-03-17 / Oxford University Press
¥ 299
书评(0)
Locally Presentable and Accessible Categories
J. Adamek / 1994-03-01 / Cambridge University Press
¥ 2751
书评(0)
Logical Methods:In Honor of Anil Nerode?s Sixtieth Birthday
Crossley / 1994-01-26 / Birkhaeuser Verlag Basel
¥ 571
书评(0)
Complex Systems Dynamics, Vol. II (on Demand Printing of 52887)
Weisbuch, Gerard / 1994-01-01 
¥ 1458
书评(0)
Many-Valued Logics
Malinowski Grzegorz / 1993-12-16 / Oxford University Press
¥ 1130
书评(0)
Mathematical Analysis and Numerical Methods for Science and Technology: Volume 6: Evolution Problems II
Dautray, Robert();Lions, Jacques-Louis();Sneddon, I. N.() / 1993-12-07 / Springer Berlin Heidelberg
¥ 437
书评(0)
Limit Theorems for Unions of Random Closed Sets
Molchanov / 1993-11-29 / Springer Berlin Heidelberg
¥ 4548
书评(0)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
Gabbay Dov M. Hogger C. J. Robinson J. A. / 1993-06-24 / Oxford University Press
¥ 1026
书评(0)
Arithmetic, Proof Theory, and Computational Complexity
Clote Peter Krajicek Jan / 1993-05-06 / Oxford University Press
¥ 1278
书评(0)
NETWORK OPTIMIZATION PROBLEMS:ALGORITHMS, APPLICATIONS AND COMPLEXITY
DU D Z ET AL / 1993-04-01 / World Scientific Publishing
¥ 2218
书评(0)
Model Theory
Wilfrid Hodges / 1993-03-01 / Cambridge University Press
¥ 884
书评(0)
Fuzzy Measure Theory
Wang, Zhenyuan;Zhenyuan Wang, Wang;Klir, George J. / 1993-01-15 / Springer US
¥ 4548
书评(0)
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
Abramsky S. Gabbay Dov M. Maibaum T. S. E. / 1992-12-10 / Oxford University Press
¥ 5015
书评(0)
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
Abramsky S. Gabbay Dov M. Maibaum T. S. E. / 1992-12-10 / Oxford University Press
¥ 1504
书评(0)
Lindenmayer Systems
Rupert, Ac;Rozenberg, Grzegorz;Salomaa, Arto / 1992-09-15 / Springer Berlin Heidelberg
¥ 329
书评(0)
Applications of Categories in Computer Science:Proceedings of the London Mathematical Society Symposium, Durham 1991
M. P. Fourman / 1992-07-01 / Cambridge University Press
¥ 1130
书评(0)
Mathematical Analysis and Numerical Methods for Science and Technology: Volume 5: Evolution Problems I
Dautray, Robert;Lions, Jacques-Louis / 1992-03-25 / Springer Berlin Heidelberg
¥ 221
书评(0)
Classification of Irregular Varieties
Ballico, Edoardo / 1992-03-15 / Springer Berlin Heidelberg
¥ 384
书评(0)
Relative Category Theory and Geometric Morphisms
Chapman Jonathan Rowbottom Frederick / 1992-02-06 / Oxford University Press
¥ 1424
书评(0)
Proof, Logic and Formalization
Detlefsen, Michael(编辑) / 1992-01-09 / Routledge
¥ 1424
书评(0)
Proof and Knowledge in Mathematics
Detlefsen, Michael(编辑) / 1992-01-02 / Routledge
¥ 2244
书评(0)
A Study of Logics
Cleave John P. / 1991-12-19 / Oxford University Press
¥ 1768
书评(0)
Applications of Category Theory to Fuzzy Subsets
Rodabaugh / 1991-11-15 / Springer Netherlands
¥ 442
书评(0)
Category Theory
Carboni, A. / 1991-10-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
Computer Science Logic
Bvrger, Egon / 1991-09-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
Category Theory and Computer Science
Pitt, David H. / 1991-08-15 / Springer Berlin Heidelberg
¥ 929
书评(0)
IV Higher Order Workshop, Banff 1990:Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
Birtwistle / 1991-07-31 / Springer
¥ 436
书评(0)
Topics in Set Theory:Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions
Bekkali / 1991-07-10 / Springer Berlin Heidelberg
¥ 932
书评(0)
mural: A Formal Development Support System
Jones / 1991-05-29 / Springer London
¥ 614
书评(0)
PASCAL-XSC:Sprachbeschreibung mit Beispielen
Rudi Klatte; Ulrich Kulisch, Universit鋞 Karlsruhe Inst. Angewandte Mathematik, Karlsruhe; Michael Neaga; Dietmar Ratz; Christian Ullrich, BMW AG, M黱chen / 1991-05-29 / Springer Berlin Heidelberg
1 … 13 14 15 16 17 18 … 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

中国国际图书贸易集团公司版权所有

地址：中国·北京市海淀区车公庄西路35号 邮编：100048

电话(对公采购及书单推荐)：010-68433105、010-68433213

© 2015-2024 Readlink.com, All Rights Reserved 京ICP备11010390号-4