DEVELOPMENT OF A TABLEAUX  RESOLUTION PROVER

dc.contributor.author	Rawan AlBarakati
dc.date	2009
dc.date	2013-10-17 20:27:40.227
dc.date.accessioned	2022-05-29T11:09:26Z
dc.date.available	2022-05-29T11:09:26Z
dc.degree.department	MSc
dc.identifier.other	15126
dc.identifier.uri	https://drepo.sdl.edu.sa/handle/20.500.14154/46190
dc.publisher	Saudi Digital Library
dc.title	DEVELOPMENT OF A TABLEAUX RESOLUTION PROVER
dc.type	Thesis
sdl.thesis.level	Master
sdl.thesis.source	SACM - United Kingdom

Collections