Language
Publisher
Subjects
Publication date
-
All (
) -
Free, open source ( )
1Result(s)for '"Srinivasan Sudarshan"'
Resource list
By Manolios Panagiotis Srinivasan Sudarshan in Journal of Automated Reasoning
ISSN:0168-7433|37|1-2|93-116
Springer Publishing Company (2006)
Access to resources
Favorite
15.451691