12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 20, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 14:10, 3 June 2009
, 14:10, 3 June 2009→Mar 2001 : Propositional Equation Reasoning Systems: anchor links in several lists
====Mar 2001 : Propositional Equation Reasoning Systems====
====Mar 2001 : Propositional Equation Reasoning Systems====
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
* http://stderr.org/pipermail/arisbe/2001-April/thread.html#407
* http://suo.ieee.org/ontology/thrd74.html#01779
* http://suo.ieee.org/email/thrd186.html#04187
* http://suo.ieee.org/email/thrd186.html#04187
====Dec 2001 : Functional Conception Of Quantificational Logic====
====Dec 2001 : Functional Conception Of Quantificational Logic====
