Browsing “Logic” (Showing 121 - 140 of 1305 results)

Subjects

  • The Colorado Mathematical Olympiad and Further Explorations

    From the Mountains of Colorado to the Peaks of Mathematics
    by Alexander Soifer
    • Format: Fixed
    • From $24.23 CAD
  • Automated Theorem Proving

    Theory and Practice
    by Monty Newborn
    • Format: Fixed
    • From $44.29 CAD
  • Formal Concept Analysis

    7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
    by Sébastien Ferré; ‎Sebastian Rudolph
    • Edition: 1st
    • Format: Fixed
    • From $22.40 CAD
  • QSPR/QSAR Analysis Using SMILES and Quasi-SMILES

    • Format: Reflowable
    • From $68.66 CAD
  • Meaning in Dialogue

    An Interactive Approach to Logic and Reasoning
    by James Trafford
    • Format: Fixed
    • From $40.27 CAD
  • Proofs 101

    An Introduction to Formal Mathematics
    by Joseph Kirtland
    • Edition: 1st
    • Format: Reflowable
    • From $48.53 CAD
  • Perspectives in Computational Complexity

    The Somenath Biswas Anniversary Volume
    by Author
    • Format: Reflowable
    • From $44.48 CAD
  • Compiler Construction

    16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
    by Shriram Krishnamurthi; ‎Martin Odersky
    • Edition: 1st
    • Format: Fixed
    • From $22.05 CAD
  • Decidability of Logical Theories and Their Combination

    by João Rasga; Cristina Sernadas
    • Format: Reflowable
    • From $26.44 CAD
  • The Foundations of Computability Theory

    by Borut Robič
    • Edition: 2nd
    • Format: Fixed
    • From $28.54 CAD
  • Proof Theory

    History and Philosophical Significance
    by Vincent F. Hendricks; ‎Stig Andur Pedersen; ‎Klaus Frovin Jørgensen
    • Edition: 1st
    • Format: Reflowable
    • From $40.26 CAD
  • Mathematische Logik

    by Martin Ziegler
    • Edition: 2nd
    • Format: Reflowable
    • From $7.32 CAD
  • Glück, Logik und Bluff

    Mathematik im Spiel - Methoden, Ergebnisse und Grenzen
    by Jörg Bewersdorff
    • Edition: 4th
    • Format: Fixed
    • From $12.42 CAD
  • Deduction, Computation, Experiment

    Exploring the Effectiveness of Proof
    by G. Corsi; Rossella Lupacchini
    • Edition: 1st
    • Format: Fixed
    • From $40.37 CAD
  • Institution-independent Model Theory

    by Razvan Diaconescu
    • Format: Fixed
    • From $40.86 CAD
  • Abduction and Induction

    Essays on their Relation and Integration
    by P.A. Flach; ‎Antonis Hadjiantonis
    • Edition: 1st
    • Format: Fixed
    • From $64.88 CAD
  • Collected Works

    by Kurt G"odel
    • Format: Fixed
    • From $308.99 CAD
  • TRUTH AND ASSERTIBILITY

    by Nik Weaver
    • Format: Reflowable
    • $53.05 CAD
  • Line Drawing Interpretation

    by Martin Cooper
    • Format: Fixed
    • From $64.80 CAD
  • Knowledge Discovery and Data Mining

    The Info-Fuzzy Network (IFN) Methodology
    by O. Maimon; M. Last
    • Format: Fixed
    • From $40.27 CAD
Page links