0169-023X

Data & Knowledge Engineering (DKE) - Volume 15, Issue 1 论文列表

本期论文列表
Editorial Board

Formal deadlock elimination in an object oriented conceptual schema

Implementation of a logic-based support system for concurrent engineering

A new method for integrity constraint checking in deductive databases

Third international workshop on deontic logic in computer science (DEON'96): Lisbon, Portugal, 11–13 January, 1996 Call for papers

Calendar