1. Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. (2019) Editors: Khan, Md. Aquil; Manuel, Amaldev Other Names: ICLA (Conference : Logic), 8th Record Type: Book Extent: 1 online resource (xvi, 195 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II ([2019]) Editors: Dillig, Isil; Tasiran, Serdar Other Names: CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗