• 时尚资讯
  • 九块邮
  • 手机版
    • 最新折扣
    • 好券直播
    • 品牌券
    • 20封顶
    • 更多导航
      热门活动热门标签
    积分商城
    • 全部>“Proofs” 共370个商品
      • 默认
      • 销量
      • 价格
    • 海外直订Dag Prawitz on Proofs and Meaning 达格·普拉维茨论证明与意义

      达格维茨普拉论证

      海外直订Dag Prawitz on Proofs and Meaning 达格·普拉维茨论证明与意义

      ¥933券后¥1,0330人已购买
      优惠券¥100 领券购买 
    • 海外直订Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Alasdair Urq

      AlasdairNonclassicalComplexityAlgebraic

      海外直订Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Alasdair Urq

      ¥1,279券后¥1,3790人已购买
      优惠券¥100 领券购买 
    • 海外直订Indexes to Seamen's Protection Certificate Applications and Proofs of Citizenshi 海员保护证书申请和公民证明

      海员ApplicationsCertificateProtection

      海外直订Indexes to Seamen's Protection Certificate Applications and Proofs of Citizenshi 海员保护证书申请和公民证明

      ¥307券后¥3370人已购买
      优惠券¥30 领券购买 
    • 【预订】Words, Proofs and Diagrams, Volume 141 9781575864068

      9781575864068预订DiagramsProofs

      【预订】Words, Proofs and Diagrams, Volume 141 9781575864068

      ¥235券后¥2650人已购买
      优惠券¥30 领券购买 
    • 海外直订All about Proofs, Proofs for All 关于证据,所有证据

      证据Proofs海外所有

      海外直订All about Proofs, Proofs for All 关于证据,所有证据

      ¥270券后¥2850人已购买
      优惠券¥15 领券购买 
    • 预订 Aristotle's Modal Proofs

      Aristotle's预订ProofsModal

      预订 Aristotle's Modal Proofs

      ¥1,244券后¥1,4240人已购买
      优惠券¥180 领券购买 
    • 海外直订The Elementary Theory of Groups: A Guide Through the Proofs of the Tarski Conjec

      ElementaryThrough海外Theory

      海外直订The Elementary Theory of Groups: A Guide Through the Proofs of the Tarski Conjec

      ¥4,537券后¥4,6370人已购买
      优惠券¥100 领券购买 
    • [预订]Ontological Proofs Today 9783110325157

      9783110325157Ontological预订Proofs

      [预订]Ontological Proofs Today 9783110325157

      ¥2,256券后¥2,5560人已购买
      优惠券¥300 领券购买 
    • 预订 Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings 测试与

      2024InternationalProceedingsConference

      预订 Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings 测试与

      ¥1,244券后¥1,4240人已购买
      优惠券¥180 领券购买 
    • 海外直订Geometry Proofs Essential Practice Problems Workbook with Full Solutions 几何证明基本练习题及完整解答练习册

      练习册练习题几何Essential

      海外直订Geometry Proofs Essential Practice Problems Workbook with Full Solutions 几何证明基本练习题及完整解答练习册

      ¥183券后¥1880人已购买
      优惠券¥5 领券购买 
    • 预订 The Body of Evidence: Corpses and Proofs in Early Modern European Medicine 证据的主体:早期现代欧洲医学中的尸体与证

      欧洲尸体预订证据

      预订 The Body of Evidence: Corpses and Proofs in Early Modern European Medicine 证据的主体:早期现代欧洲医学中的尸体与证

      ¥1,914券后¥2,2140人已购买
      优惠券¥300 领券购买 
    • 预订 What Was a Duke of Brabant? Or, an Historical Essay, with Proofs and Illustrations on the Sovereignty of That Provi

      IllustrationsSovereigntyHistorical预订

      预订 What Was a Duke of Brabant? Or, an Historical Essay, with Proofs and Illustrations on the Sovereignty of That Provi

      ¥128券后¥1380人已购买
      优惠券¥10 领券购买 
    • 按需印刷Proofs Of The Real Existence, And Dangerous Tendency, Of Illuminism (1802)[9781437105889]

      9781437105889IlluminismExistenceDangerous

      按需印刷Proofs Of The Real Existence, And Dangerous Tendency, Of Illuminism (1802)[9781437105889]

      ¥182券后¥2020人已购买
      优惠券¥20 领券购买 
    • 英文原版 Principles and Proofs Princeton Legacy Library原理与证明 亚里士多德的推演式科学理论 哲学Richard D. McKirahan Jr

      亚里士多德英文D.推演

      英文原版 Principles and Proofs Princeton Legacy Library原理与证明 亚里士多德的推演式科学理论 哲学Richard D. McKirahan Jr

      ¥497.6券后¥597.60人已购买
      优惠券¥100 领券购买 
    • 预订 The Analysis of Nobility, in its Origin; as Military, Mercantile, and Literary; Proofs, Privileges, Duties, Acquisi

      MercantilePrivileges预订Analysis

      预订 The Analysis of Nobility, in its Origin; as Military, Mercantile, and Literary; Proofs, Privileges, Duties, Acquisi

      ¥388券后¥4480人已购买
      优惠券¥60 领券购买 
    • 英文原版 Principles and Proofs Princeton Legacy Library原理与证明 亚里士多德的推演式科学理论 哲学Richard D. McKirahan Jr

      亚里士多德英文D.推演

      英文原版 Principles and Proofs Princeton Legacy Library原理与证明 亚里士多德的推演式科学理论 哲学Richard D. McKirahan Jr

      ¥497.6券后¥597.60人已购买
      优惠券¥100 领券购买 
    • 海外直订The Sequence of Event Analysis in Criminal Trials: Scientific Proofs for Trackin 刑事审判中的事件分析顺序:

      审判Scientific顺序刑事

      海外直订The Sequence of Event Analysis in Criminal Trials: Scientific Proofs for Trackin 刑事审判中的事件分析顺序:

      ¥538券后¥5880人已购买
      优惠券¥50 领券购买 
    • 预订 Science a Stronghold of Belief: Or, Scientific and Common-sense Proofs of the Reasonablemess: 9780530315263

      Reasonablemess9780530315263StrongholdScientific

      预订 Science a Stronghold of Belief: Or, Scientific and Common-sense Proofs of the Reasonablemess: 9780530315263

      ¥461券后¥5510人已购买
      优惠券¥90 领券购买 
    • 英文原版 Principles and Proofs Princeton Legacy Library原理与证明 亚里士多德的推演式科学理论 哲学Richard D. McKirahan Jr

      亚里士多德英文D.推演

      英文原版 Principles and Proofs Princeton Legacy Library原理与证明 亚里士多德的推演式科学理论 哲学Richard D. McKirahan Jr

      ¥497.6券后¥597.60人已购买
      优惠券¥100 领券购买 
    • 预订 The First Part of the Authenticated Proofs of the Legitimacy of Her Highness Olive, Princess of Cumberland: 9781021

      AuthenticatedLegitimacyCumberland预订

      预订 The First Part of the Authenticated Proofs of the Legitimacy of Her Highness Olive, Princess of Cumberland: 9781021

      ¥185券后¥1950人已购买
      优惠券¥10 领券购买 
    • 预订 Charming Proofs

      预订CharmingProofs

      预订 Charming Proofs

      ¥361券后¥4210人已购买
      优惠券¥60 领券购买 
    • 预订 What was a Duke of Brabant? Or, an Historical Essay, With Proofs and Illustrations on the Sovereignty of That Provi

      IllustrationsSovereigntyHistorical预订

      预订 What was a Duke of Brabant? Or, an Historical Essay, With Proofs and Illustrations on the Sovereignty of That Provi

      ¥273券后¥3330人已购买
      优惠券¥60 领券购买 
    • 预订 The First Part of the Authenticated Proofs of the Legitimacy of Her Highness Olive, Princess of Cumberland: 9781020

      AuthenticatedLegitimacyCumberland预订

      预订 The First Part of the Authenticated Proofs of the Legitimacy of Her Highness Olive, Princess of Cumberland: 9781020

      ¥309券后¥3690人已购买
      优惠券¥60 领券购买 
    • An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 证明论导论:归一化、切割消去定

      导论NormalizationIntroduction切割

      An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 证明论导论:归一化、切割消去定

      ¥352券后¥4120人已购买
      优惠券¥60 领券购买 
    • 预订 Dag Prawitz on Proofs and Meaning: 9783319360317

      9783319360317预订PrawitzMeaning

      预订 Dag Prawitz on Proofs and Meaning: 9783319360317

      ¥915券后¥1,0950人已购买
      优惠券¥180 领券购买 
    • [预订]The Nuts and Bolts of Proofs

      预订ProofsBoltsNuts

      [预订]The Nuts and Bolts of Proofs

      ¥549券后¥6390人已购买
      优惠券¥90 领券购买 
    • 预订 Proofs of God in Early Modern Europe: An Anthology 早期现代欧洲的上帝证据:选集: 9781481309318

      欧洲选集9781481309318Anthology

      预订 Proofs of God in Early Modern Europe: An Anthology 早期现代欧洲的上帝证据:选集: 9781481309318

      ¥435券后¥5250人已购买
      优惠券¥90 领券购买 
    • 海外直订Introduction to Dependent Types with Idris: Encoding Program Proofs in Types Idris的依赖类型介绍:在类型中编

      类型TypesIdrisIntroduction

      海外直订Introduction to Dependent Types with Idris: Encoding Program Proofs in Types Idris的依赖类型介绍:在类型中编

      ¥281券后¥2960人已购买
      优惠券¥15 领券购买 
    • 海外直订Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, 校样和程序类型:19

      校样TypesInternationalPrograms

      海外直订Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, 校样和程序类型:19

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Simple Theorems, Proofs, and Derivations in Quantum Chemistry 量子化学中的简单定理、证明和推导

      量子化学推导定理Derivations

      海外直订Simple Theorems, Proofs, and Derivations in Quantum Chemistry 量子化学中的简单定理、证明和推导

      ¥1,967券后¥2,0670人已购买
      优惠券¥100 领券购买 
    • 海外直订Adapting Proofs-As-Programs: The Curry--Howard Protocol 调整证明为程序:库里-霍华德协议

      库里霍华德AdaptingPrograms

      海外直订Adapting Proofs-As-Programs: The Curry--Howard Protocol 调整证明为程序:库里-霍华德协议

      ¥1,450券后¥1,5500人已购买
      优惠券¥100 领券购买 
    • 海外直订Mathematical Stories I - Graphs, Games and Proofs: For Gifted Students in Primar 数学故事I -图表、游戏和证

      图表MathematicalStudentsStories

      海外直订Mathematical Stories I - Graphs, Games and Proofs: For Gifted Students in Primar 数学故事I -图表、游戏和证

      ¥221券后¥2360人已购买
      优惠券¥15 领券购买 
    • 预订 An Introduction to Proofs with Set Theory

      Introduction预订ProofsTheory

      预订 An Introduction to Proofs with Set Theory

      ¥621券后¥7110人已购买
      优惠券¥90 领券购买 
    • 海外直订Types for Proofs and Programs: International Workshop, Types 2006, Nottingham, U 证明和程序的类型:国际研讨

      TypesInternationalNottingham研讨

      海外直订Types for Proofs and Programs: International Workshop, Types 2006, Nottingham, U 证明和程序的类型:国际研讨

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 预订 Kant on Proofs for God’s Existence 康德论上帝存在的证明: 9783110688900

      康德9783110688900Existence预订

      预订 Kant on Proofs for God’s Existence 康德论上帝存在的证明: 9783110688900

      ¥1,400券后¥1,5800人已购买
      优惠券¥180 领券购买 
    • 海外直订Types for Proofs and Programs: International Workshop Types'96, Aussois, France, 校样和程序类型:19

      校样TypesInternationalPrograms

      海外直订Types for Proofs and Programs: International Workshop Types'96, Aussois, France, 校样和程序类型:19

      ¥612券后¥6620人已购买
      优惠券¥50 领券购买 
    • 海外直订Human Interactive Proofs: Second International Workshop, Hip 2005, Bethlehem, Pa 人类互动证明:第二届国际研

      InternationalInteractive第二届Bethlehem

      海外直订Human Interactive Proofs: Second International Workshop, Hip 2005, Bethlehem, Pa 人类互动证明:第二届国际研

      ¥503券后¥5530人已购买
      优惠券¥50 领券购买 
    • 海外直订Proofs and Algorithms: An Introduction to Logic and Computability 证明与算法:逻辑与可计算性导论

      可计算性导论ComputabilityIntroduction

      海外直订Proofs and Algorithms: An Introduction to Logic and Computability 证明与算法:逻辑与可计算性导论

      ¥385券后¥4150人已购买
      优惠券¥30 领券购买 
    • 海外直订Tests and Proofs: 8th International Conference, Tap 2014, Held as Part of Staf 2 测试和证明:第8届国际会议,

      国际会议InternationalConference证明

      海外直订Tests and Proofs: 8th International Conference, Tap 2014, Held as Part of Staf 2 测试和证明:第8届国际会议,

      ¥509券后¥5590人已购买
      优惠券¥50 领券购买 
    • 预订 The Analysis of Nobility, in Its Origin; As Military, Mercantile, and Literary; Proofs, Privileges, Duties, Acquisi

      MercantilePrivileges预订Analysis

      预订 The Analysis of Nobility, in Its Origin; As Military, Mercantile, and Literary; Proofs, Privileges, Duties, Acquisi

      ¥362券后¥4220人已购买
      优惠券¥60 领券购买 
    上一页 1 ...  3   4  5  6   7  ... 10 下一页