Variable order verification use of logic representation
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Published: |
2003
|
| Subjects: | |
| Online Access: | http://shdl.mmu.edu.my/2610/ |
| _version_ | 1848790102401089536 |
|---|---|
| author | Prasad, , PWC Singh, , AK Dominic, , MM |
| author_facet | Prasad, , PWC Singh, , AK Dominic, , MM |
| author_sort | Prasad, , PWC |
| building | MMU Institutional Repository |
| collection | Online Access |
| first_indexed | 2025-11-14T18:07:17Z |
| format | Article |
| id | mmu-2610 |
| institution | Multimedia University |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:07:17Z |
| publishDate | 2003 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | mmu-26102011-08-24T00:52:44Z http://shdl.mmu.edu.my/2610/ Variable order verification use of logic representation Prasad, , PWC Singh, , AK Dominic, , MM QA75.5-76.95 Electronic computers. Computer science 2003 Article NonPeerReviewed Prasad, , PWC and Singh, , AK and Dominic, , MM (2003) Variable order verification use of logic representation. DIGITAL LIBRARIES: TECHNOLOGY AND MANAGEMENT OF INDIGENOUS KNOWLEDGE FOR GLOBAL ACCESS , 2911 . p. 689. ISSN 0302-9743 |
| spellingShingle | QA75.5-76.95 Electronic computers. Computer science Prasad, , PWC Singh, , AK Dominic, , MM Variable order verification use of logic representation |
| title | Variable order verification use of logic representation |
| title_full | Variable order verification use of logic representation |
| title_fullStr | Variable order verification use of logic representation |
| title_full_unstemmed | Variable order verification use of logic representation |
| title_short | Variable order verification use of logic representation |
| title_sort | variable order verification use of logic representation |
| topic | QA75.5-76.95 Electronic computers. Computer science |
| url | http://shdl.mmu.edu.my/2610/ |