| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| 5th Conference on Automated Deduction, Les Arcs, France, 1980 | 978-O-387-1OOO9-8 (O-387-1OOO9-1) | 1980 | W. Bibel |
Savoie, France) NATO Advanced Study Institute on Breakdown and Discharges in Gases (1981 : Les Arcs