Space optimization in deductive databases
1991
36 S.
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Book
English
British Library Conference Proceedings | 2006
|Deductive Verification of Railway Operations
British Library Conference Proceedings | 2017
|Towards a Deductive Object-Oriented System
British Library Online Contents | 1998
|Automated Deductive Verification of Parallel Systems
British Library Conference Proceedings | 1997
|Software Safety Analysis: Inductive Methods vs. Deductive Methods
British Library Conference Proceedings | 2000
|