Ashish Tiwari
Identifiers
- Open LibraryOL7918932A
Top Subjects
- Hybrid computers (1)
- Artificial intelligence (1)
- Logic programming (1)
- Automatic theorem proving (1)
Books by Ashish Tiwari
Total count: 3
-
Hybrid Systems : Computation and Control9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, ProceedingsSpringer London, Limited2006-01-01
-
Automated Reasoning8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, ProceedingsSpringer London, Limited2016-01-01
-
Functional Materials from Carbon, Inorganic, and Organic SourcesMethods and AdvancesElsevier Science & Technology2022-01-01