Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
(view source)
Revision as of 16:16, 13 August 2009
35 bytes added
,
16:16, 13 August 2009
→Computation and inference as semiosis
:
spacing
Line 2,245:
Line 2,245:
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
|
|
−
From <math>\textit{Expression~1}</math> and <math>\textit{Expression~2}</math> infer <math>\textit{Expression~3}.</math>
+
From
<math>\textit{Expression~1}</math>
and
<math>\textit{Expression~2}</math>
infer
<math>\textit{Expression~3}.</math>
|}
|}
Jon Awbrey
12,080
edits