Jackson, Paul B., 1962-
| Biografické údaje: | Editor sborníku konference, publikuje v oboru matematická logika. |
|---|---|
| Zdroj: |
Boulton, R. J. - Jackson, P. B: Theorem proving in high order logics: 14th international conference, TPHOLs 2001 LC (Names) |
| Další informace: |
  |