• Shop by category
  • Powered by eBay
  • Formal Methods in Databases and Software Engineering: Proceedings of the Worksho

    • Item No : 135778957800
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.12
    • * Item Description

    • 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.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category