Showing 1 - 4 results of 4 for search 'Dowek, Gilles', 查詢時間: 0.01s Refine Results
  1. 1

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

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

    Proofs and algorithms an introduction to logic and computability
  2. 2

    Introduction to the theory of programming languages 由 Dowek, Gilles

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

    Introduction to the theory of programming languages
  3. 3

    Principles of programming languages 由 Dowek, Gilles

    出版 2009
    圖書

    Principles of programming languages
  4. 4

    Principles of programming languages 由 Dowek, Gilles

    出版 2009
    圖書

    Principles of programming languages

檢索工具: