Login / Signup
Logic-based Approach for Realizing a Federated Information System.
Whan-Kyu Whang
Shamkant B. Navathe
Sharma Chakravarthy
Published in:
RIDE-IMS (1991)
Keyphrases
</>
information systems
distributed information systems
multi valued
modal logic
logical framework
classical logic
computational properties
digital libraries
health care
predicate logic
logic programming
automated reasoning
formal theory
information technology