| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Automated Deduction- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994: Proceedings | 978-O-387-58156-9 (O-387-58156-1) | 1994 |
"F.C." · I.C. · International Conference
France) International Conference on Computer Vision (9th : 2003 : Nice