| NCID | DA15423132 |
| 名称(HDNG) | Basin, David |
| 注記(NOTE) | Labelled deduction, 2000: CIP t.p. (David Basin, Albert-Ludwigs-Universität Freiburg, Germany)
Theorem proving in higher order logics, 2003: CIP t.p. (David Basin) t.p. verso (ETH Zentrum, Zurich, Switzerland) ds (b. Dec. 28, 1961)
SRC:Labelled deduction / edited by David Basin ... [et al.] (Kluwer Academic, c2000) |
| LCAID | 00092962 |