ReadLink-学科

¥ 728

书评(0)

Typed Lambda Calculi and Applications:11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Hasegawa / 2013-06-06 / Springer Berlin Heidelberg

¥ 775

书评(0)

Lambda Calculus with Types

Henk Barendregt / 2013-06-01 / Cambridge University Press

¥ 349

书评(0)

Kurt Gödel:Essays for his Centennial

Solomon Feferman / 2013-06-01 / Cambridge University Press

¥ 1504

书评(0)

Logical Foundations of Mathematics and Computational Complexity:A Gentle Introduction

Pudlák / 2013-05-31 / Springer International Publishing

¥ 442

书评(0)

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky

Harwood, Stephen Allan;Melissen, Frans;Carnie, Fiona / 2013-05-15 / Springer Berlin Heidelberg

¥ 981

书评(0)

PROCEEDINGS OF THE 12TH ASIAN LOGIC CONFERENCE

DOWNEY ROD ET AL / 2013-05-08 / World Scientific Publishing

¥ 1124

书评(0)

A Short Introduction to Intuitionistic Logic

Mints / 2013-04-26 / Springer US

¥ 884

书评(0)

The Structure of the Real Line

Bukovský / 2013-04-21 / Springer Basel

¥ 576

书评(0)

Proofs and Fundamentals:A First Course in Abstract Mathematics

Ethan D. Bloch, Bard College, Annandale-on-Hudson, NY, USA / 2013-04-21 / Springer New York

¥ 884

书评(0)

Foundational Theories of Classical and Constructive Mathematics

Zero, Fallenstar / 2013-04-15 / Springer Netherlands

¥ 204

书评(0)

Zermelo's Axiom of Choice: Its Origins, Development, and Influence

Moore, Gregory H.;Mathematics / 2013-03-21

¥ 390

书评(0)

Defending the Axioms

Maddy Penelope / 2013-03-07 / Oxford University Press

¥ 1054

书评(0)

Coherence in Three-Dimensional Category Theory

Nick Gurski / 2013-03-01 / Cambridge University Press

¥ 1314

书评(0)

Methods of Cut-Elimination

Baaz / 2013-02-25 / Springer Netherlands

¥ 244

书评(0)

An Introduction to Mathematical Logic

Hodel, Richard E. / 2013-02-20

¥ 442

书评(0)

Foundations of Software Science and Computation Structures

De Assis Denise;Pfenning, Frank / 2013-02-15 / Springer Berlin Heidelberg

¥ 1348

书评(0)

Meshfree Methods for Partial Differential Equations V

Griebel / 2013-01-22 / Springer Berlin Heidelberg

¥ 786

书评(0)

Formal Aspects of Component Software:9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Pasareanu / 2013-01-09 / Springer Berlin Heidelberg

¥ 785

书评(0)

Unifying Theories of Programming:4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Wolff / 2013-01-04 / Springer Berlin Heidelberg

¥ 1040

书评(0)

Generative and Transformational Techniques in Software Engineering IV:International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers

L鋗mel / 2013-01-03 / Springer Berlin Heidelberg

¥ 1236

书评(0)

Boundary Element Methods

Sauter / 2013-01-02 / Springer Berlin Heidelberg

¥ 1416

书评(0)

Mathematical Modeling with Multidisciplinary Applications

Xin-She Yang / 2012-12-31 / Wiley

¥ 879

书评(0)

Mathematical Logic

Ebbinghaus / 2012-12-15 / Springer New York

¥ 1508

书评(0)

Meshfree Methods for Partial Differential Equations VI

Griebel / 2012-12-14 / Springer Berlin Heidelberg

¥ 2652

书评(0)

Mathematics of Fuzzy Sets

Hohle / 2012-11-15 / Springer US

¥ 407

书评(0)

Tools for Practical Software Verification

Meyer;Meyer, Bertrand;Nordio, Martin / 2012-11-15 / Springer Berlin Heidelberg

¥ 1448

书评(0)

Hierarchical and Geometrical Methods in Scientific Visualization

Farin / 2012-11-09 / Springer Berlin Heidelberg

¥ 442

书评(0)

Handbook of Formal Languages:Volume 1 Word, Language, Grammar

Rozenberg / 2012-11-07 / Springer Berlin Heidelberg

¥ 369

书评(0)

Appalachian Set Theory:2006–2012

James Cummings / 2012-11-01 / Cambridge University Press

¥ 3766

书评(0)

Fuzzy Sets in Decision Analysis, Operations Research and Statistics

Slowiski / 2012-11-01 / Springer US

¥ 1040

书评(0)

Limits of Computation:An Introduction to the Undecidable and the Intractable

Edna E. Reiter and Clayton Matthew Johnson / 2012-10-29 / Chapman and Hall/CRC

¥ 1768

书评(0)

Supervision of Petri Nets

Stremersch / 2012-10-24 / Springer US

¥ 2727

书评(0)

Fuzzy Logic and Soft Computing

Guoqing Chen / 2012-10-23 / Springer US

¥ 1126

书评(0)

Structured Adaptive Mesh Refinement (SAMR) Grid Methods

Baden / 2012-10-23 / Springer New York

¥ 1216

书评(0)

Nonstandard Methods of Analysis

Kusraev / 2012-10-20 / Springer Netherlands

¥ 1642

书评(0)

Handbook of Finite State Based Models and Applications

Jiacun Wang / 2012-10-16 / Chapman and Hall/CRC

¥ 1326

书评(0)

Logic and Complexity

Lassaigne / 2012-10-15 / Springer London

¥ 1326

书评(0)

Consensus Under Fuzziness

Kacprzyk;Kacprzyk, J.;Nurmi, H.;Fedrizzi, Mario / 2012-10-15 / Springer US

¥ 1326

书评(0)

Fundamentals of Fuzzy Sets

DuBois;DuBois, Didier;Richard, Gilles / 2012-10-15 / Springer US

¥ 442

书评(0)

Programming Languages and Systems

Yaseen Amara;Igarashi, Atsushi;Boakye Mary / 2012-10-15 / Springer Berlin Heidelberg

¥ 407

书评(0)

Implementation and Application of Functional Languages

Adolph Julian;IVIC Monika / 2012-10-15 / Springer Berlin Heidelberg

¥ 2652

书评(0)

Model-Based Reasoning in Scientific Discovery

Magnani;Magnani, L.;Nersessian, N. J.;Thagard, Paul / 2012-10-15 / Springer US

¥ 570

书评(0)

Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

Donald Gillies / 2012-10-15 / Routledge

¥ 3251

书评(0)

Fuzzy Systems:Modeling and Control

Hung T. Nguyen / 2012-10-12 / Springer US

¥ 919

书评(0)

Mathematik mit MATLAB:Eine Einführung für Ingenieure und Naturwissenschaftler

Hans Benker, Universität Halle-Wittenberg FB Mathematik und Informatik, Halle / 2012-10-12 / Springer Berlin Heidelberg

¥ 1609

书评(0)

Method of Difference Potentials and Its Applications

Ryaben’kii / 2012-10-09 / Springer Berlin Heidelberg

¥ 1879

书评(0)

Decision Criteria and Optimal Inventory Processes

Liu / 2012-10-08 / Springer US

¥ 576

书评(0)

A Course in Model Theory:An Introduction to Contemporary Mathematical Logic

Poizat / 2012-10-08 / Springer New York