Normal view
MARC view
Dowek, Gilles(Personal Name)
This authority is not used in any records.
Higher-order algebra, logic, and term rewriting, 1996: CIP t.p. (Gilles Dowek) t.p. verso (INRIA-Rocquencourt, Le Chesney, France)