12,089
edits
Changes
→Differential Analytic Turing Automata: + links
* http://stderr.org/pipermail/inquiry/2004-February/thread.html#1178
* http://stderr.org/pipermail/inquiry/2004-February/thread.html#1178
===Feb — Differential Analytic Turing Automata===
* http://forum.wolframscience.com/archive/topic/228-1.html
* http://forum.wolframscience.com/printthread.php?threadid=228
* http://forum.wolframscience.com/showthread.php?threadid=228
===Apr — Propositional Equation Reasoning Systems===
===Apr — Propositional Equation Reasoning Systems===