ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Journal Article

Hooker, JN and Rago, G and Chandru, V and Shrivastava, A (2002) Partial instantiation methods for inference in first-order logic. In: Journal of Automated Reasoning, 28 (4). pp. 371-396.

Shrivastava, A and Ramanadhan, P and Shah, A and Jamadagni, HS (1978) Autonomous Line Scanning for SPC Telephone Switching Systems. In: IEEE Transactions on Communications, 26 (3). 368 - 373.

This list was generated on Thu Oct 22 20:17:44 2020 IST.