- 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 |