Share
مبرهن النظريات الذكي == An Intelligent Theorem Prover
Author name:
محمد خزعل جابر
Supervisor name:
Mohamad E. Ali
General topic:
Computer Science
Specific topic:
Computer Science
Degree:
Master
University:
University Of Basrah - College Of Science
Language:
English
University location:
Basrah
