IW Meeting 2008-12-30

From Inference Web

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