Methods of Handing Equality based on proof transformations

Bibliographic Details
Main Author:	Aleksic, Vladimir
Published:	King's College London (University of London) 2007
Subjects:	510
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.498347

id	ndltd-bl.uk-oai-ethos.bl.uk-498347
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-4983472015-03-20T05:40:12ZMethods of Handing Equality based on proof transformationsAleksic, Vladimir2007510King's College London (University of London)http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.498347Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	510
spellingShingle	510 Aleksic, Vladimir Methods of Handing Equality based on proof transformations
author	Aleksic, Vladimir
author_facet	Aleksic, Vladimir
author_sort	Aleksic, Vladimir
title	Methods of Handing Equality based on proof transformations
title_short	Methods of Handing Equality based on proof transformations
title_full	Methods of Handing Equality based on proof transformations
title_fullStr	Methods of Handing Equality based on proof transformations
title_full_unstemmed	Methods of Handing Equality based on proof transformations
title_sort	methods of handing equality based on proof transformations
publisher	King's College London (University of London)
publishDate	2007
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.498347
work_keys_str_mv	AT aleksicvladimir methodsofhandingequalitybasedonprooftransformations
_version_	1716793581631438848

Similar Items