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/

類似資料

Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure
著者:: Toh, Sing Poh
出版事項: (2008)

Determination of the intersection of projective plane P2 (K) curves based on the Bezout’s theorem
著者:: Santika, Santika
出版事項: (2015)

The determination of the intersection of projective plane P2 (K) curves based on the bezout's theorem
著者:: Santika, Santika
出版事項: (2015)

The first isomorphism theorem of lie group for fuzzy topographic topological mapping
著者:: Omer Mohamed, Sanaa Mohamed Saleh
出版事項: (2011)

Cross-document coreference resolution model based on neural entity embedding
著者:: Keshtkaran, Aliakbar
出版事項: (2021)

Automated pairwise testing approach based on classification tree modeling and negative selection algorithm
著者:: Sandin, Easter Viviana
出版事項: (2019)

Automated Deform Detection For Automotive Body Panels Using Image Processing Techniques
著者:: Edris, Muhammad Zuhair Bolqiah
出版事項: (2016)

Goal-based filtering approach for recommender system
著者:: Chughtgai, Muhammad Waseem
出版事項: (2014)

An object-oriented data automation system for Microsoft Excel files / Ng Lee Yean.
著者:: Ng, Lee Yean
出版事項: (2003)

The development of optical stiffness calibration software base on equipartition theorem, boltzman statistics and power spectrum density
著者:: Muhammad Yunus Hamid
出版事項: (2018)

Persistency and permanency of two stages splicing languages based on DNA recombination process by using Yusof-Goode (Y-G) approach
著者:: Mohammad Hassan, Mudaber
出版事項: (2015)

Color Image Segmentation Based on Bayesian Theorem for Mobile Robot Navigation
著者:: Rahimizadeh, Hamid
出版事項: (2009)

Intelligent Automated Small and Medium Enterprise (SME) Loan Application Processing System Using Neuro-CBR Approach
著者:: Mohd Hanif, Yusoff
出版事項: (2011)

The Causal Relationship Between Stock Markets: Awavelet Transform-Based Approach
著者:: Ahmed Dghais, Amel Abdoullah
出版事項: (2016)

Classification of multi-qubit states with higher order singular value decompositon and concurrency of three lines
著者:: Choong, Pak Shen
出版事項: (2022)

Automated dynamic reporting system for big data / Anis Soraya Ahmad
著者:: Ahmad, Anis Soraya
出版事項: (2019)

Software development of concurrent design for manufacturing process selection of plastic materials
著者:: Mohd. Yunus, Mohd. Yusri
出版事項: (2010)

Concurrent Product Development Process, Project, And Performance Of Malaysian Car Manufacturer
著者:: Boejang, Hambali
出版事項: (2019)

Enhancement of natural language processing approach for automated generation of object constraint language
著者:: Salemi, Samin
出版事項: (2015)

Real estate recommender systems using case-base reasoning approach
著者:: Alrawhani, Ebrahim Mohammed Abdo
出版事項: (2014)

Proving the offence of importing uncustomed and prohibited goods under Section 135(1) of the customs Act 1967
著者:: Rudziani, Md Rudzi
出版事項: (2014)

Product development using concurrent engineering
著者:: Samsudin, Abdul Rahim
出版事項: (2003)

Automation of Database Normalization Process.
著者:: Elfaki, Mohamed Ahmed Mohamed
出版事項: (2007)

An improved approach contextual suggestion system for E-Tourism
著者:: Khan, Haseeb Ur Rehman
出版事項: (2022)

Method of assessing concurrent delays
著者:: Abdullah, Ar Samsiah
出版事項: (2014)

Forecasting The Decision Based On Risk Perception Using Bayesian Game Theory Approach In Preventing Hand, Foot And Mouth Disease (Hfmd) In Pulau Pinang, Malaysia
著者:: Abu Mansor, Siti Nurleena
出版事項: (2023)

Fingerprint classification : a BI-resolution approach to singular point extraction
著者:: Leong, Chung Ern
出版事項: (2004)

Enhanced and automated approaches for fish recognition and classification system
著者:: Samma, Ali Salem Ali
出版事項: (2011)

Genogram Visualization Using Social Network Approach For Medical Family Tree
著者:: Bokhare, Siti Fatimah
出版事項: (2018)

Evaluating The Effectiveness Of Monetary Versus Fiscal Policies In Malaysia Using Macroeconometric Approaches
著者:: Ismail, Siti Fatimah
出版事項: (2022)

Single-stage DNA splicing system via Yusof-Goode approach
著者:: Wen Li, Lim
出版事項: (2015)

Application of conformal mapping in image processing for face recognition system
著者:: Abd. Razak, Norazlina
出版事項: (2004)

Comparative Study And Analysis Of Quality Based Multibiometric Technique Using Fuzzy Inference System
著者:: Hamid, Lydia Abdul
出版事項: (2013)

Cost analysis software development for injection moulding in the concurrent engineering environment
著者:: Zamrah, Zarak Shaifuddin
出版事項: (2009)

Enhancement In Resistivity Resolution Based On Data Amalgamation Technique
著者:: Bery, Andy Anderson
出版事項: (2015)

Detection Of Outliers And Structural Breaks In Structural Time Series Model Using Indicator Saturation Approach
著者:: Rose, Farid Zamani Che
出版事項: (2023)

Analysis of three dimensional ground stability due to excavation using upper bound theorem
著者:: Pan, How Yen
出版事項: (2011)

Hierarchical Gaussian Process Models For Loss Reserving
著者:: Ang, Zi Qing
出版事項: (2021)

Spatial and temporal processes of brain activity during motor action with concurrent visual stimulation
著者:: Bingol, Zuhal
出版事項: (2010)

B-Spline Collocation Approach For Solving Partial Differential Equations
著者:: Mat Zin, Shazalina
出版事項: (2016)

Cannot write session to /tmp/vufind_sessions/sess_jfijtkajvmi94sii8fcncgdtsf