Вы здесь
Kapur D.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Program Verification Using Automatic Generation of Invariants | 2005 | Rodriguez-Carbonell E., Kapur D. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 26.04.2005 | ||
| СТ | Automated reasoning about parallel algorithms using powerlists | 1995 | Kapur D., Subramaniam M. | Lecture Notes in Computer Science | Algebraic Methodology and Software Technology | 13.09.1995 | ||
| СТ | Using Linear Arithmetic Procedure for Generating Induction Schemes | 1994 | Kapur D., Subramaniam M. | Lecture Notes in Computer Science | 11.01.1995 | |||
| СТ | A New Method for Proving Termination of AC-Rewrite Systems | 1900 | Kapur D., Sivakumar G., Zhang H. | Lecture Notes in Computer Science | 05.03.1991 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Dependable Software Engineering: Theories, Tools, and Applications: Proc./2nd International Symposium, SETTA 2016, Beijing, China, November 2016 | 2016 | Lecture Notes in Computer Science |
|
22.11.2016 | |||
| СБ | Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014 | 2014 | Lecture Notes in Artificial Intelligence |
|
23.09.2014 | |||
| СБ | Computer Mathematics: Revised and Invited Papers/8th Asian Symposium, ASCM 2007. Singapore, December 2007 | 2008 | Lecture Notes in Artificial Intelligence |
|
16.12.2008 |