An Educational Tool for Practising Resolution for Predicate Logic

dc.contributor.author	Dalal Mazhar
dc.date	2010
dc.date	2013-10-17 20:25:11.480
dc.date.accessioned	2022-05-29T09:57:10Z
dc.date.available	2022-05-29T09:57:10Z
dc.degree.department	MSc
dc.identifier.other	14976
dc.identifier.uri	https://drepo.sdl.edu.sa/handle/20.500.14154/43518
dc.publisher	Saudi Digital Library
dc.title	An Educational Tool for Practising Resolution for Predicate Logic
dc.type	Thesis
sdl.thesis.level	Master
sdl.thesis.source	SACM - United Kingdom

Collections