Concepedia
1
Publications
59
Citations
H-Index
1976
Active since
Edgar Ducasse is an author specializing in formal methods, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated Reasoning
Publications per year
1976–1976
Proceedings of the sixth international symposium on Multiple-valued logic
Stephen Y. H. Su, Edgar Ducasse, Z.G. Vranesic et al. · 1976 · 59 citations
Non-classical Logic, Engineering, Automated Reasoning +5
Rows per page
1–1 of 1