| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Automated Deduction, Cade-11: 11th International Conference on Automated Deduction Saratoga Springs, Ny, Usa, June 15-18, 1992 Proceedings | 978-0-387-55602-4 (0-387-55602-8) | 1992 | |
| Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 11th ... Notes in Computer Science , Band 607) | 978-3-540-55602-2 (3-540-55602-8) | 2009 |
B. D Kapur · Brahm D. Kapur · D.K · Deepak Kapur · Devesh Kapur · Dr Nandini Sinha Kapur · Dr Ratna Kapur