Formal Methods in Databases and Software Engineering: Proceedings of the Worksho
68,59 €
The Tecton Proof System. - Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems. - On Querying Temporal Deductive Databases. - Intuitionistic Interpretation of Deductive Databases with Incomplete Information.
Jetzt bei Ebay: