Concepedia

Author

E. N.

Also Known As

E. N.

1

Publications

20

Citations

1

H-Index

8

Concepts

EN

About

E. N. is an author specializing in automated reasoning, formal methods, and formal logic.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

20

2

Language Studies

1

1

20

3

Computer Science

1

1

20

4

Semantics

1

1

20

5

Automated Reasoning

1

1

20

E. N.

×

1

Publications

20

Citations

1

H-Index

YearCitations

Page 1