All public logs

Combined display of all available logs of tfpie. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 14:14, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 15.pdf (We claim that program design techniques, like equational derivation of programs from specifications and separation of concerns, can be applied to obtain results in Mathematics. This means that Mathematics and Programming are not at all alien in their meth)