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

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

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

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

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

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)

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

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

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

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

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

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

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

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

An optimized federated learning framework for internet of vehicles based on noise data and incremental data processing
by: Lei, Yuan
Published: (2024)

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

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

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: 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: Atta, Abdu Mohammed Ali
Published: (2010)

Evaluation Of Higher Moment Capital Asset Pricing Model And Stock Market Technical Efficiency With Stochastic Frontier Approach
by: Hasan, Md. Zobaer
Published: (2014)

Robust Optimization Approach In Data Envelopment Analysis Models: Extension To The Cases With Uncertain Production Trade-offs, Integer Data And Negative Data.
by: Rokhsaneh, Yousef Zehi
Published: (2023)

Development Of Robust Memory-Type Charts Under Repetitive Sampling And Triple Sampling Charts For The Gamma Process
by: Mahmood, Yasar
Published: (2024)

Development Of Variable Sampling Interval Run Sum T Chart And Triple Sampling X ̅ Chart With Estimated Process Parameters
by: Nahar Mim, Faijun
Published: (2022)

Integrating virtual reality in drawing subjects with an experiential learning approach to enhance student experience
by: Phoon, Gar Chi
Published: (2024)

The Structure Of The Number System
by: Khoo, Keat Guan
Published: (2008)

Effectiveness of graphing calculators approach in learning integrals towards mathematics pre-service teachers achievement and mathematical reasoning
by: Amila Saliza Abdul Wahab
Published: (2022)

Applications Of Statistical Techniques In Quality Systems
by: Chee , Suat Kheng
Published: (2006)

Cluster-Based Estimators For Multiple And Multivariate Linear Regression Models
by: Alih, Ekele
Published: (2015)

Harmony Search-Based Fuzzy Clustering Algorithms For Image Segmentation
by: Alia, Osama Moh’d Radi
Published: (2011)

The Revised M-Of -K Runs Rules Based On Median Run Length
by: Low , Chun Kit
Published: (2011)

Service Level Agreement-Based Migration For Database-As-A-Service In The Cloud
by: Wong, Jik Soon
Published: (2015)

Some explicit bases of riemann-roch spaces for algebraic geometry codes.
by: Tan, Yean Nee
Published: (2011)

The Revised M-OF-K Runs Rules Based On Median Run Length
by: Low, , Chun Kit.
Published: (2011)

Optimal Designs Of The Double Sampling X Chart Based On Parameter Estimation
by: Teoh, Wei Lin
Published: (2013)

Optimal Designs Of The Double Sampling X Chart Based On Parameter Estimation
by: Teoh, Wei Lin
Published: (2013)

Double Sampling Auxiliary Information Chart And Exponentially Weighted Moving Average Auxiliary Information Chart, Both Based On Variable Sampling Interval, And Measurement Errors Based Triple Sampling Chart
by: Umar, Adamu Abubakar
Published: (2022)

Vision-Based Three Dimensional Hand Interaction In Markerless Augmented Reality Environment
by: Ng , Kah Pin
Published: (2015)

Enhancing Model Selection Based On Penalized Regression Methods And Empirical Mode Decomposition
by: Al Jawarneh, Abdullah Suleiman Saleh
Published: (2021)

Game Theory-Based Discretionary Lane Changing Controlling Compulsory Behavior In Conflicting Situation
by: Rahman, Md Mijanoor
Published: (2021)