Revision as of 02:08, 29 July 2006 edit YurikBot (talk \| contribs) 278,165 edits m robot Adding: de:Wp-Kalkül ← Previous edit		Revision as of 03:06, 22 January 2007 edit undo 221.171.83.190 (talk) →References: +ja Next edit →
Line 34: [[de:Wp-Kalkül]] [[ja:述語変換意味論]]

Predicate transformer semantics: Difference between revisions