Browsing “Logic” (Showing 41 - 60 of 1296 results)

Subjects

  • Mathematical Olympiad Challenges

    by Titu Andreescu; Razvan Gelca
    • Edition: 2nd
    • Format: Fixed
    • From £16.50 GBP

  • Logics for Computer Science

    Classical and Non-Classical
    by Anita Wasilewska
    • Format: Reflowable
    • From £32.85 GBP

  • Evolutionary Algorithms

    The Role of Mutation and Recombination
    by William M. Spears
    • Format: Fixed
    • From £26.85 GBP

  • Constructive Semantics

    Meaning in Between Phenomenology and Constructivism
    by Author
    • Format: Reflowable
    • From £32.85 GBP

  • An den Grenzen des Endlichen

    Das Hilbertprogramm im Kontext von Formalismus und Finitismus
    by Christian Tapp
    • Format: Reflowable
    • From £13.20 GBP

  • Mathematik für die Informatik

    Grundlegende Begriffe, Strukturen und ihre Anwendung
    by Rudolf Berghammer
    • Edition: 3rd
    • Format: Fixed
    • From £6.60 GBP

  • Relations and Kleene Algebra in Computer Science

    10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
    by Rudolf Berghammer; ‎Bernhard Möller; ‎Georg Struth
    • Edition: 1st
    • Format: Fixed
    • From £18.63 GBP

  • Institution-independent Model Theory

    by Razvan Diaconescu
    • Format: Fixed
    • From £26.85 GBP

  • Evolving Rule-Based Models

    A Tool for Design of Flexible Adaptive Systems
    by Plamen P. Angelov
    • Format: Fixed
    • From £26.85 GBP

  • Risk Engineering

    Bridging Risk Analysis with Stakeholders Values
    by A.V. Gheorghe; Ralf Mock
    • Format: Fixed
    • From £38.85 GBP

  • The Colorado Mathematical Olympiad and Further Explorations

    From the Mountains of Colorado to the Peaks of Mathematics
    by Alexander Soifer
    • Format: Fixed
    • From £15.00 GBP

  • Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    by Warren A. Hunt; Jr.; ‎Fabio Somenzi
    • Edition: 1st
    • Format: Fixed
    • From £13.50 GBP

  • Line Drawing Interpretation

    by Martin Cooper
    • Format: Fixed
    • From £29.88 GBP

  • Proof Theory

    History and Philosophical Significance
    by Vincent F. Hendricks; ‎Stig Andur Pedersen; ‎Klaus Frovin Jørgensen
    • Edition: 1st
    • Format: Reflowable
    • From £26.85 GBP

  • Multi-Valued Fields

    by Yuri L. Ershov
    • Format: Fixed
    • From £53.85 GBP

  • Coordination of Large-Scale Multiagent Systems

    by Paul Scerri; ‎Régis Vincent; ‎Roger T. Mailler
    • Edition: 1st
    • Format: Fixed
    • From £38.85 GBP

  • Ultralogic as Universal?

    The Sylvan Jungle - Volume 4
    by Richard Routley
    • Format: Fixed
    • From £22.35 GBP

  • Logical Foundations of Computer Science

    International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
    • Format: Reflowable
    • From £13.50 GBP

  • The Mathematics of Coordinated Inference

    A Study of Generalized Hat Problems
    by Christopher S. Hardin; Alan D. Taylor
    • Format: Reflowable
    • From £13.50 GBP

  • Modalities and Multimodalities

    by Walter Carnielli; Claudio Pizzi
    • Format: Fixed
    • From £38.85 GBP
Showing 41 - 60 of 1296 results
Page links