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...
Saved in:
Main Author: | Natarajan, Surash |
---|---|
Format: | Thesis |
Language: | English |
Published: |
1994
|
Subjects: | |
Online Access: | http://eprints.usm.my/31371/1/SURASH_NATARAJAN.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure
by: Toh, Sing Poh
Published: (2008) -
Determination of the intersection of projective plane P2 (K) curves based on the Bezout’s theorem
by: Santika, Santika
Published: (2015) -
The determination of the intersection of projective plane P2 (K) curves based on the bezout's theorem
by: Santika, Santika
Published: (2015) -
The first isomorphism theorem of lie group for fuzzy topographic topological mapping
by: Omer Mohamed, Sanaa Mohamed Saleh
Published: (2011) -
Automated pairwise testing approach based on classification tree modeling and negative selection algorithm
by: Sandin, Easter Viviana
Published: (2019)