Showing 1 - 2 results of 2 for search 'Kifer, Michael', 查詢時間: 0.01s Refine Results
  1. 1

    Declarative logic programming theory, systems, and applications

    出版 2018
    Available for University of the Philippines Diliman via ACM Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via ACM Digital Library. Click here to access thru EZproxy
    Electronic Resource

    Declarative logic programming theory, systems, and applications
  2. 2

    OSP an environment for operating system project 由 Kifer, Michael

    出版 1991
    圖書

    OSP an environment for operating system project

檢索工具: