ICAR Research Data Repository for Knowledge Management
ON THE COMPLETENESS OF MODULAR PROOF SYSTEMS
DSpace at IIT Bombay
View Archive Info| Field | Value | |
| Title |
ON THE COMPLETENESS OF MODULAR PROOF SYSTEMS
|
|
| Creator |
RAMESH, S
|
|
| Publisher |
ELSEVIER SCIENCE BV
|
|
| Date |
2011-07-25T23:42:53Z
2011-12-26T12:50:56Z 2011-12-27T05:37:09Z 2011-07-25T23:42:53Z 2011-12-26T12:50:56Z 2011-12-27T05:37:09Z 1990 |
|
| Type |
Article
|
|
| Identifier |
INFORMATION PROCESSING LETTERS, 36(4), 195-201
0020-0190 http://dx.doi.org/10.1016/0020-0190(90)90073-7 http://dspace.library.iitb.ac.in/xmlui/handle/10054/6818 http://hdl.handle.net/10054/6818 |
|
| Language |
en
|
|