• Shop by category
  • Powered by eBay
  • Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference

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

    • Four-valued diagnoses for stratified knowledge-bases. - Fast cut-elimination by projection. - On the subject reduction property for algebraic type systems. - Presheaf models for concurrency. - Directed virtual reductions.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category