Search Results - Dowek, Gilles

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    Introduction to the theory of programming languages by Dowek, Gilles

    Published 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  2. 2

    Proofs and algorithms an introduction to logic and computability by Dowek, Gilles

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  3. 3

    Principles of programming languages by Dowek, Gilles

    Published 2009
    Book


    Cover Image

Search Tools: