×
دليل المستخدم
Al Barakati، R. G.، و Schmid، R. A. (2009). DEVELOPMENT OF A TABLEAUX RESOLUTION PROVER (رسالة ماجستير غير منشورة). University of Manchester، مانشستر. مسترجع من http://search.mandumah.com/Record/598828
Al Barakati، Rawan Ghali، و Renate A. Schmid. "DEVELOPMENT OF A TABLEAUX RESOLUTION PROVER" رسالة ماجستير. University of Manchester، مانشستر، 2009. مسترجع من http://search.mandumah.com/Record/598828