WestminsterResearch

Items where Author is Bhanu, Prasad

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Jump to: Bolotov, A
Number of items: 1.

Bolotov, A

Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2007) A Simpler formulation of natural deduction calculus for linear-time temporal logic. In: Bhanu, Prasad, (ed.) Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007. IICAI 2007. IICAI, India, pp. 1253-1266. ISBN 9780972741224

This list was generated on Thu Dec 18 02:35:07 2014 GMT.