Showing 1 - 2 results of 2 for search 'Kifer, Michael', query time: 0.01s Refine Results
  1. 1

    Declarative logic programming theory, systems, and applications

    Published 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 by Kifer, Michael

    Published 1991
    Book

    OSP an environment for operating system project

Search Tools: