Detecting redundant clauses or premises within logic-oriented database schemas:
Saved in:
Bibliographic Details
Main Author: Convent, Bernhard (Author)
Format: Book
Language:German
Published: Hildesheim 1989
Series:Hildesheimer Informatikberichte 89,6
Physical Description:21 S.