Concepedia

Author

E. Bir

Brazilian Academy of Sciences

Also Known As

E. Bir

1

Publications

16

Citations

1

H-Index

4

Concepts

All Affiliations

Brazilian Academy of Sciences
EB

About

E. Bir is an author at Brazilian Academy of Sciences specializing in automated reasoning, proof complexity, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

16

2

Computer Science

1

1

16

3

Automated Reasoning

1

1

16

4

Proof Complexity

1

1

16

E. Bir

×

1

Publications

16

Citations

1

H-Index

YearCitations

Page 1