Bokus

Cambridge Tracts in Theoretical Computer Science

Visar alla böcker i serien Cambridge Tracts in Theoretical Computer Science. Handla med fri frakt och snabb leverans.

  1. Topology via Logic

    Topology via Logic

    Del 5 · Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky · 1996

  2. Computational Learning Theory

    Computational Learning Theory

    Del 30 · M. H. G. Anthony, N. Biggs, C. J. van Rijsbergen · 1997

  3. Basic Proof Theory

    Basic Proof Theory

    Del 43 · A. S. Troelstra, H. Schwichtenberg · 2000