Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

A Derivation Path Recording Method for Integrity Checking in Deductive Databases

CIS-Bericht-92-49

Authors/Editors: Matilde Celma
Juan Carlos Casamayor
Publication Date: 1992
Type of Publication: Veröffentlichungen in der Reihe CIS-Berichte