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...

Full description

Bibliographic Details
Main Author:	Natarajan, Surash
Format:	Thesis
Language:	English
Published:	1994
Subjects:	QA1 Mathematics (General)
Online Access:	http://eprints.usm.my/31371/
Abstract	Abstract here

Similar Items

A multi-resolution approach to on-line signature intra-class variability modelling
by: Liew, Lee Hung
Published: (2005)

A study on the approach of dynamical system proof for fermat's little theorem
by: Olamide Funmilayo Florence
Published: (2025)

Method of proving hadd al-qadzf and process of taking li`an
by: Amiruldin bin Md. Sham
Published: (2024)

Automated human age at death estimation system from long bones histology
by: Khan, Ijaz
Published: (2019)

The development of optical stiffness calibration software base on equipartition theorem, boltzman statistics and power spectrum density
by: Muhammad Yunus Hamid
Published: (2018)

An object-oriented data automation system for Microsoft Excel files / Ng Lee Yean.
by: Ng, Lee Yean
Published: (2003)

Automated Deform Detection For Automotive Body Panels Using Image Processing Techniques
by: Edris, Muhammad Zuhair Bolqiah
Published: (2016)

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

Cryptocurrency Quantitative Trading Strategy Based On Machine Learning Approach
by: Fu, Dingyu
Published: (2025)

The Causal Relationship Between Stock Markets: Awavelet Transform-Based Approach
by: Ahmed Dghais, Amel Abdoullah
Published: (2016)

A Wavelet-Based Approach For The Analytical Solutions Of Fractional Differential Equations And The Numerical Solutions Of Fractional Integral Equations
by: Loong, Marcus Ong Wei
Published: (2024)

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

Real estate recommender systems using case-base reasoning approach
by: Alrawhani, Ebrahim Mohammed Abdo
Published: (2014)

Genogram Visualization Using Social Network Approach For Medical Family Tree
by: Bokhare, Siti Fatimah
Published: (2018)

Color Image Segmentation Based on Bayesian Theorem for Mobile Robot Navigation
by: Rahimizadeh, Hamid
Published: (2009)

An improved approach contextual suggestion system for E-Tourism
by: Khan, Haseeb Ur Rehman
Published: (2022)

Evaluating The Effectiveness Of Monetary Versus Fiscal Policies In Malaysia Using Macroeconometric Approaches
by: Ismail, Siti Fatimah
Published: (2022)

Comparative Study And Analysis Of Quality Based Multibiometric Technique Using Fuzzy Inference System
by: Hamid, Lydia Abdul
Published: (2013)

Classification of multi-qubit states with higher order singular value decompositon and concurrency of three lines
by: Choong, Pak Shen
Published: (2022)

Hierarchical Gaussian Process Models For Loss Reserving
by: Ang, Zi Qing
Published: (2021)

Detection Of Outliers And Structural Breaks In Structural Time Series Model Using Indicator Saturation Approach
by: Rose, Farid Zamani Che
Published: (2023)

Fixed point theorems for contractive mappings on various spaces
by: Habes Eid Alsamir (P75977)
Published: (2023)

Some Extensions Of Log Aesthetic Curves And Its Acceleration Using General Processing Unit (GPU)
by: Teh, Yee Meng
Published: (2022)

Intelligent Automated Small and Medium Enterprise (SME) Loan Application Processing System Using Neuro-CBR Approach
by: Mohd Hanif, Yusoff
Published: (2011)

Single-stage DNA splicing system via Yusof-Goode approach
by: Wen Li, Lim
Published: (2015)

Integrated approach to recognize square-ROI in breast cancer augmentation
by: Rechard Lee
Published: (2014)

Modeling Malaysian Road Accidents: The Structural Time Series Approach
by: Junus, Noor Wahida Binti Md
Published: (2018)

B-Spline Collocation Approach For Solving Partial Differential Equations
by: Mat Zin, Shazalina
Published: (2016)

Outliers And Structural Breaks Detection In Autoregressive Model By Indicator Saturation Approach
by: Mohammad Nasir, Muhammad Azim
Published: (2020)

An Investigation On An Efficient Approach Of Improving Quality Of Service Of Voip Over Satellite
by: Mahamed Abdule, Sayid
Published: (2007)

A Hybrid Markov Switching Garch Model Approach For Improving Volatility Dynamics
by: Hossain, Md Jamal
Published: (2021)

Univariate And Multivariate Synthetic Control Charts For Monitoring The Process Mean Of Skewed Distributions
by: Ali Atta, Abdu Mohammed
Published: (2010)

Control Charts With Estimated Process Parameters And A Proposed Coefficient Of Variation Chart
by: You , Huay Woon
Published: (2015)

Univariate And Multivariate Synthetic Control Charts For Monitoring The Process Mean Of Skewed Distributions
by: Ali Atta, Abdu Mohammed
Published: (2010)

Univariate And Multivariate Synthetic Control Charts For Monitoring The Process Mean Of Skewed Distributions
by: Atta, Abdu Mohammed Ali
Published: (2010)

Generalized Logarithmic Penalty Function Approach For Invex Nonlinear Constrained Optimization And Its Application
by: Hassan, Mansur
Published: (2020)

A Wavelet Approach For Analysing The Relationship Between Exchange Rate And Interest Rate Differential
by: DHAMOTHARAN, LALITHA
Published: (2017)

Application Of Two-Stage Game Cross- Efficiency Approach To Primary Health Care In Nigeria
by: Oduh, Adejoh Friday
Published: (2023)

Evaluation of education system design using the socio-constructivist and software heuristic approaches / Sarinder Kaur a/p Kashmir Singh.
by: Kashmir Singh, Sarinder Kaur
Published: (2002)

A multi-objectives genetic algorithm clustering ensembles based approach to summarize relational data
by: Gabriel, Jong Chiye
Published: (2015)