Revision history of "File:Tfpie2014 submission 15.pdf"

Jump to navigation Jump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 14:14, 20 May 2014‎ Peter88 talk contribs‎ 666 bytes +666‎ 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
Retrieved from "https://wiki.tfpie.science.ru.nl/File:Tfpie2014_submission_15.pdf"