A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach

Semenjak pembangunan sistem pembuktian teorem automatik berdasarkan resolusi yang pertama di pertengahan 1960an, terdapat penyelidikan yang berterusan di dalam bidang ini untuk mempertingkatkan proses penyelesaian masalah di dalam sistemsistem pembuktian teorem. Penyelidikan pada masa kini di dal...

詳細記述

書誌詳細

第一著者:	Natarajan, Surash
フォーマット:	学位論文
言語:	英語
出版事項:	1994
主題:	QA1 Mathematics (General)
オンライン･アクセス:	http://eprints.usm.my/31371/