Normal view
MARC view
- Basin, David
Basin, David (Nombre personal)
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)