Search for Author All Reviews
	Brown, Chad E.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Reconsidering pairs and functions as sets Brown C. Journal of Automated Reasoning 55(3): 199-210, 2015.  Type: Article In set theory, a pair (x,y) is normally described using Kuratowski’s representation {{x},{x,y}}. The set of all the pairs (... Dec 8 2015     ETPS: a system to help students write formal proofs Andrews P., Brown C., Pfenning F., Bishop M., Issar S., Xi H. Journal of Automated Reasoning 32(1): 75-92, 2004.  Type: Article This is not a research paper, but rather a technical report on a system. From §5:...... Oct 13 2004
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy