- Shopping Bag ( 0 items )
-
All (1) from $145.00
-
New (1) from $145.0
Transaction Logic: An (Early) Expose | 1 | |
Aggregate Operations in the Information Source Tracking Method | 24 | |
An Incremental Concept Formation Approach for Learning from Databases | 39 | |
The Tecton Proof System | 54 | |
Modeling Time in Information Systems | 80 | |
A Unified Framework for Database Specification: Functional Approach | 96 | |
Using VDM Within an Object-Oriented Framework | 111 | |
Software Engineering Environments - What Do We Want? | 122 | |
Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems | 139 | |
On Querying Temporal Deductive Databases | 158 | |
Intuitionistic Interpretation of Deductive Databases with Incomplete Information | 175 | |
Author Index | 193 |