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

检索工具: