| Document Date: 2012-08-05 11:01:25 Open Document File Size: 259,03 KBShare Result on Facebook
Company MkGROUP / John Wiley & Sons Inc. / Harvard University Press / Lemma 1 Ltd. / R.D. Arthan Lemma 1 Ltd. / / Currency USD / / / Facility University of Cambridge Computer Laboratory / University of Edinburgh / / IndustryTerm additive / forward chain / multiplication operator / quotient groups / carrier set / quotient / multiplicative / metalanguage tools / / Organization Division of Informatics / Harvard University / University of Edinburgh / University of Cambridge Computer Laboratory / / Person Larry Paulson / John Harrison / Pace Quine / Peter V. Homeier / Elsa Gunter / / Product ProofPower document preparation system / ProofPower / / URL http /
SocialTag |