1
Publications
38
Citations
1
H-Index
1989
Active since
David Chan is an author specializing in automated reasoning, engineering, and formal methods.
Publications per year
1989–1989
1
1
SEPIA - An Extendible Prolog System.
Micha Meier, Abderrahmane Aggoun, David Chan et al. · IFIP Congress · 1989 · 38 citations
Computational Logic, Extendible Prolog System, Engineering +5
Rows per page
1–1 of 1