| |
| 1999 | ||
|---|---|---|
| 1 | Yves Bertot, Gilles Dowek, André Hirschowitz, C. Paulin, Laurent Théry: Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings Springer 1999 | |
| 1 | Yves Bertot | [1] |
| 2 | Gilles Dowek | [1] |
| 3 | André Hirschowitz | [1] |
| 4 | Laurent Théry | [1] |