Books by Michael Kifer
Declarative Logic Programming
Declarative Logic Programming
Reasoning Web : Logical Foundation of Knowledge Graph Construction and Query Answering
Introduction to operating system design and implementation
Journal on Data Semantics IX
Journal on Data Semantics IX
Journal on Data Semantics VIII
Value Pack : An Application Or
Value Pack : An Application Oriented Approach, Complete Version with Learning SQL
Value Pack : Database Systems
Value Pack : Database Systems : an Application Oriented Apprach, Complete Version with Learning SQL
Databases and transaction processing
OSP