IW Meeting 2009-10-22
From Inference Web
- 2009-10-22
- IW Meeting 2009-10-15
agenda
- iwsearch interface, -- iw:iwsearch
- combine proof demo page -- Combine and Improve TPTP Proofs
- pml API issue resolved
Views
Personal tools
- This page was last modified on 22 October 2009, at 14:45.
- This page has been accessed 60 times.
- Content is available under Attribution-Share Alike 3.0 Unported.
- Privacy policy
- About Inference Web
- Disclaimers