ReadLink-学科

¥ 663

书评(0)

Inverse Magnetometry

Christian Blick Willi Freeden M. Zuhair Nashed / 2021-08-28 / Birkhäuser

¥ 884

书评(0)

Boundary and Interior Layers, Computational and Asymptotic Methods BAIL 2018

Gabriel R. Barrenechea John Mackenzie / 2021-08-12 / Springer Berlin Heidelberg

¥ 1206

书评(0)

Proof and Computation II:From Proof Theory and Univalent Mathematics to Program Extraction and Verification

Mainzer Klaus et al / 2021-07-27 / World Scientific Publishing

¥ 311

书评(0)

Logics for New-Generation AI. First International Workshop, 18-20 June 2021, Hangzhou

/ 2021-06-30 / College Publications

¥ 242

书评(0)

A View of Connexive Logics

Francez Nissim / 2021-06-07 / College Publications

¥ 1200

书评(0)

Projective Measure Without Projective Baire

Sy David Friedman |David Schrittesser / 2021-03-30 / American Mathematical Society (AMS)

¥ 716

书评(0)

Mathematical Labyrinths. Pathfinding

Pritsker, Boris / 2021-03-08 / World Scientific Publishing

¥ 204

书评(0)

Mathematical Labyrinths. Pathfinding

Pritsker, Boris / 2021-03-08 / World Scientific Publishing

¥ 173

书评(0)

Naive Set Theory

Halmos Paul R. / 2021-02-26 / Must Have Books

¥ 186

书评(0)

Introduction to Logic: and to the Methodology of Deductive Sciences

Tarski Alfred / 2021-02-25 / Must Have Books

¥ 213

书评(0)

Model Theory for Beginners. 15 Lectures

Kossak Roman / 2021-02-10 / College Publications

¥ 1695

书评(0)

Centenary of the Borel Conjecture

/ 2021-01-30 / American Mathematical Society (AMS)

¥ 1200

书评(0)

Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees

Rodney G. Downey |Keng Meng Ng |Reed Solomon / 2021-01-30 / American Mathematical Society (AMS)

¥ 1149

书评(0)

Tensor Spaces and Numerical Tensor Calculus

Hackbusch Wolfgang / 2021-01-24 / Springer Nature Switzerland AG

¥ 467

书评(0)

Essays on Set Theory

Kanamori Akihiro / 2021-01-01 / College Publications

¥ 321

书评(0)

Reckonings: Numerals, Cognition, and History

Chrisomalis Stephen / 2020-12-15 / The MIT Press

¥ 738

书评(0)

A True Polymath: A Tribute to Francisco Antonio Doria

/ 2020-12-04 / College Publications

¥ 423

书评(0)

Abstract Consequence and Logics: Essays in Honor of Edelcio G. de Souza

/ 2020-11-05 / College Publications

¥ 1448

书评(0)

New Methods and Paradigms for Modeling Dynamic Processes Based on Cellular Automata

Stepan Mykolayovych Bilan / 2020-10-16 / Engineering Science Reference

¥ 934

书评(0)

New Methods and Paradigms for Modeling Dynamic Processes Based on Cellular Automata

Bilan, Stepan Mykolayovych;Bilan, Mykola Mykolayovych;Motornyuk, Ruslan Leonidovich / 2020-10-16 / IGI Publishing

¥ 156

书评(0)

Everyday Chaos

Clegg Brian / 2020-10-06

¥ 1934

书评(0)

Advanced Engineering Mathematics

Zill Dennis G. / 2020-10-01 / Jones

¥ 493

书评(0)

The Green Computing Book:Tackling Energy Efficiency at Large Scale

Edited by Wu-chun Feng / 2020-09-30 / CRC Press

¥ 995

书评(0)

Quantitative Reasoning

Kenneth Mann / 2020-08-30 / Cognella Academic Publishing

¥ 222

书评(0)

The Art of Logic in an Illogical World

Cheng Eugenia / 2020-08-11 / Basic Books

¥ 197

书评(0)

The Giant Book of Binary Puzzle: 1000 Medium (12x12) Puzzles

Alzamili Khalid / 2020-08-09 / Dr. Khalid Alzamili Pub

¥ 197

书评(0)

The Giant Book of Numbrix: 1000 Easy to Hard: (9x9) Puzzles

Alzamili Khalid / 2020-08-03 / Dr. Khalid Alzamili Pub

¥ 197

书评(0)

The Giant Book of Battleships: Battleship Solitaire: 1000 Puzzles (8x8 - 9x9 -10x10)

Alzamili Khalid / 2020-08-03 / Dr. Khalid Alzamili Pub

¥ 197

书评(0)

The Giant Book of Numbrix: 1000 Easy to Hard (10x10) Puzzles

Alzamili Khalid / 2020-08-02 / Dr. Khalid Alzamili Pub

¥ 1695

书评(0)

Trends in Set Theory

/ 2020-07-30 / American Mathematical Society (AMS)

¥ 175

书评(0)

Mage Merlin’s Unsolved Mathematical Mysteries

Satyan Linus Devadoss / 2020-07-28 / Penguin Random House US

¥ 450

书评(0)

Advances in Modal Logic, Volume 13

/ 2020-07-20 / College Publications

¥ 1005

书评(0)

Algorithmic Randomness:Progress and Prospects

Johanna N. Y. Franklin / 2020-07-05 / Cambridge University Press

¥ 493

书评(0)

Exascale Scientific Applications:Scalability and Performance Portability

Edited by Tjerk P. Straatsma, Katerina B. Antypas and Timothy J. Williams / 2020-06-30 / Chapman and Hall/CRC

¥ 1372

书评(0)

Relations:Concrete, Abstract, and Applied - An Introduction

Toth, Herbert / 2020-06-23 / World Scientific Publishing

¥ 1764

书评(0)

Boundary and Interior Layers, Computational and Asymptotic Methods BAIL 2018

Barrenechea, Gabriel R.(编辑);MacKenzie, John(编辑) / 2020-06-19 / Springer Berlin Heidelberg

¥ 566

书评(0)

A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definab

Downey RodGreenberg Noam / 2020-06-16 / Princeton University Press

¥ 1239

书评(0)

A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definab

Downey, Rod;Greenberg, Noam / 2020-06-16 / Princeton University Press

¥ 320

书评(0)

The Logica Yearbook 2019

/ 2020-06-10 / College Publications

¥ 474

书评(0)

Set Theory and Foundations of Mathematics:An Introduction to Mathematical Logic - Volume I: Set Theory

Cenzer Douglas et al / 2020-04-06 / World Scientific Publishing

¥ 843

书评(0)

Foundations of Information and Knowledge Systems:11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings

Andreas Herzig; Juha Kontinen / 2020-03-24 / Springer Berlin Heidelberg

¥ 905

书评(0)

Relational and Algebraic Methods in Computer Science:18th International Conference, RAMiCS 2020, Palaiseau, France, April 8–11, 2020, Proceedings

Fahrenberg, Uli(编辑);Jipsen, Peter(编辑);Winter, Michael(编辑) / 2020-03-18 / Springer Berlin Heidelberg

¥ 874

书评(0)

Logical Foundations of Computer Science:International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4?7, 2020, Proceedings

Sergei Artemov; Anil Nerode / 2020-01-22 / Springer Berlin Heidelberg

¥ 1818

书评(0)

Neutrosophic Sets in Decision Analysis and Operations Research

Mohamed Abdel-Basset^^Florentin Smarandache / 2019-12-27 / Engineering Science Reference

¥ 972

书评(0)

Combinatorial Set Theory of C*-algebras

Farah Ilijas / 2019-12-25 / Springer International Publishing

¥ 765

书评(0)

Functional Interpretations:From the Dialectica Interpretation to Interpretations of Classical and Constructive Set Theory

Diller, Justus / 2019-11-19 / World Scientific Publishing

¥ 1148

书评(0)

Logic, Rationality, and Interaction:7th International Workshop, LORI 2019, Chongqing, China, October 18?21, 2019, Proceedings

Blackburn, Patrick();Lorini, Emiliano();Guo, Meiyun() / 2019-11-04 / Springer Berlin Heidelberg

¥ 833

书评(0)

A First Journey through Logic

Martin Hils |Francois Loeser / 2019-10-30 / American Mathematical Society (AMS)