Revision as of 19:30, 14 June 2009 edit Classicalecon (talk \| contribs) Pending changes reviewers 1,158 edits lk automated theorem proving, rm Metamath (not relevant) ← Previous edit		Revision as of 17:34, 5 September 2009 edit undo Hyju (talk \| contribs) Extended confirmed users 11,442 edits No edit summary Next edit →
Line 117: [[ja:Information Processing Language]] [[pl:Information Processing Language]] [[pt:Information Processing Language]]

Information Processing Language: Difference between revisions