IW Meeting 2008-12-30

From Inference Web

Jump to: navigation, search

Agenda

  • experiments on combine proof

http://inference-web.org/tmp/123008.html

  • combine proof paper
    • contribution
    • paper structure
    • use of paar paper content in

notes

todo

Personal tools
Navigation