Back to Results
First PageMeta Content
Automated theorem proving / Logic programming / Unification / First-order logic / Regular expression / Z notation / Cyc / Rule of inference / Logic / Mathematical logic / Formal languages


Transformation Rules for Z
Add to Reading List

Document Date: 2011-06-02 16:36:02

Open Document

File Size: 243,29 KB

Share Result on Facebook
UPDATE