Deepak Kapur

Identifiers

Open LibraryOL3181534A

Top Subjects

Mathematics (1)
Artificial intelligence (1)
Congresses (1)
Logic (1)
Logic, Symbolic and mathematical (1)
Artificial Intelligence - General (1)
Software engineering (1)

Books by Deepak Kapur

Total count: 5

Automated Deduction - Cade-1111th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture ... Computer Science / Lecture Notes in Artific)

Springer1992-06-01
Computer Mathematics8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers

Springer2008-01-01
Automated Reasoning7th International Joint Conference, IJCAR 2014, Held As Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Springer2014-01-01
Dependable Software Engineering : Theories, Tools, and ApplicationsSecond International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Springer International Publishing AG2016-01-01
Theoretical Aspects of Computing – ICTAC 201714th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Springer2017-09-17