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

Rangaswamy, SV and Chakrapani, N and Tikekar, VG (1980) A computational algorithm for the verification of tautologies in propositional calculus. In: Journal of Indian Institute of Science, 62 (A). pp. 71-81.

Chakrapani, N and Rangaswamy, SV and Tikekar, VG (1979) Development of a structured program for conversion to prenex normal form. In: Journal of the Indian Institute of Science, 61 (5). pp. 123-133.

This list was generated on Thu Nov 27 20:46:51 2014 IST.