关注微信公众号查券更方便
breadProofingbasket
预订 The Proving Ground: A Lincoln Lawyer Novel 9780316596978
【3-4周达】Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portla... [9783540678632]
预订 Proving the Double Bottom Line [9783639399400]
【3-4周达】Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive C... [9783642058806]
【3-4周达】Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The ... [9783642228629]
【3-4周达】Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Ta... [9783540593386]
【3-4周达】Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA... [9783642323461]
【3-4周达】Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaise... [9783540745907]
【3-4周达】Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich... [9783642033582]
【3-4周达】Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July... [9783642396335]
【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valle... [9783540584506]
【3-4周达】Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen... [9783540602750]
【3-4周达】Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics [9783642145087]
【3-4周达】Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July ... [9783642140518]
【3-4周达】Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics [9783642444746]
【3-4周达】Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray ... [9783540633792]
预订 On Proving God's Existence by Reason Alone [9783639496901]
SNC 261 齐朵拉的校场 Ziatora's Proving Ground 万智牌 闪 R
万智牌 齐朵拉的校场 Ziatora's Proving Ground SNC 中/英 平/闪
SNC 359齐朵拉的校场 Ziatora's Proving Ground万智牌 闪 R 异画
【3-4周达】Proving Darwin: Making Biology Mathematical [9781400077984]
Linen Fermented Cloth Dough Bakers Pans Proving Bread Baguet
预订 Proving Grounds: Militarized Landscapes, Weapons Testing, and the Environmental Impact of U.S. Bases 试验场:军事化
【预售】Proving Shakespeare
预订 Proving Pregnancy
预订 Proving grounds: militarized landscapes, weapons testing, and the environmental impact of U.S. bases / 试验场：军事
预订 David Maisel: Proving Ground: 9781942185666
预订 Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial
预订 Worker Injury Third Party Cases: Recognizing and Proving Liability 第三方工伤案例：责任的认定与证明: 9781598889086
预订 Proving It Her Way: Emmy Noether, a Life in Mathematics 用自己的方式证明：艾美奖诺瑟的数学生涯: 9783030628109
预订 Proving Your Library’s Value: Persuasive, Organized, and Memorable Messaging 证明图书馆的价值：具有说服力，有条理
预订 Automated Theorem Proving
【预订】Methods and Techniques for Proving I...
【预订】Proving Woman
【预售】Mechanical Geometry Theorem Proving
【预售】Logical Analysis of Hybrid Systems: Proving Theorems
【预售】A Combination of Geometry Theorem Proving and Non...
【预售】Theorem Proving with the Real Numbers
【预订】A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
【预售】The Efficiency of Theorem Proving Strategies: A
【预售】Theorem Proving in Higher Order Logics: 18th
【预售】Interactive Theorem Proving: Third International
【预售】Theorem Proving in Higher Order Logics: 10th
【预售】Theorem Proving in Higher Order Logics: 22nd
【预售】Interactive Theorem Proving: Second International
【预售】Interactive Theorem Proving: 5th International...
【预订】Interactive Theorem Proving
【预售】Theorem Proving in Higher Order Logics
【预订】Interactive Theorem Proving: 8th Int...
【预售】Automated Theorem Proving in Software Engineering
【预订】Theorem Proving in Higher Order Logics
[预订]Machine Learning for Automated Theorem Proving 9781680838985
预订 Mechanical Theorem Proving in Geometries
预订 Interactive Theorem Proving
【预售】Theorem Proving in Higher Order Logics: 15th
【预订】Automated Theorem Proving in Softwar...
【预订】Proof and Proving in Mathematics Education 9789400721289
【预售】First-Order Logic and Automated Theorem Proving
【预售】The Art of Proving Binomial Identities
[预订]The Art of Proving Binomial Identities 9781032475585
【预订】Proving in the Elementary Mathematics Classroom
预售 按需印刷 The Art of Proving Binomial Identities
预订 The History of Ancient America, Anterior to the Time of Columbus: Proving the Identity of the Aborigines With the T
【预售】Interactive Theorem Proving and Program Development
预订 The Big Gun: Ordnance Department, U.S.A., Aberdeen Proving Ground, Maryland 1918: 9781013324109
预订 Proving Homeopathy: Why Homeopathy Works - Sometimes: 9781936251377
【预售】Reading, Writing, and Proving: A Close
【预售】Reading, Writing, and Proving: A Closer Look at
【预订】Interactive Theorem Proving and Program Development 9783642058806
【预售】Automated Theorem Proving: Theory and Practice
预订 Proving Ground: Expertise and Appalachian Landscapes 试验场：专业知识和阿巴拉契亚山地景观: 9781421425399
预订 Medical Illustration in the Courtroom: Proving Injury, Causation, and Damages 法庭医学图解：证明伤害、因果关系与损
[预订]Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784089
【预订】First-Order Logic and Automated Theorem Proving
【预售】Interactive Theorem Proving
预订 Proving The Value Of Soft Skills 证明软技能的价值: 9781950496631
【预订】Proving Bribery, Fraud and Money Lau...
【预售】Symbolic Logic and Mechanical Theorem Proving
预订 The Big Gun: Ordnance Department, U.S.A., Aberdeen Proving Ground, Maryland 1918: 9781013550874
预订 Automated Theorem Proving: After 25 Years: 9780821850275
【预售】Value-Range Analysis of C Programs: Towards Proving
预订不退不换Reading, Writing, and Proving:A Closer Look at Mathematics
【预售】Formalized Probability Theory and Applications Using Theorem Proving
[预订]Introducing Software Verification with Dafny Language: Proving Program Correctness
【预订】Advances in Mathematics Education Research on Proof and Proving
【预订】Advances in Mathematics Education Research on Proof and Proving: An International Perspective
【3-4周达】Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the V... [9783319089690]
【3-4周达】Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, S... [9783319661063]
【3-4周达】Sorry Spock, Emotions Drive Business : Proving the Value of Creative Ideas With Science [9781642790719]
