First Page | Document Content | |
---|---|---|
Date: 2014-07-28 17:33:33Axiom Z notation Euclidean algorithm Function Algorithm S Mathematics Mathematical logic Software | The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onaganAdd to Reading ListSource URL: axiom.axiom-developer.orgDownload Document from Source WebsiteFile Size: 182,34 KBShare Document on Facebook |