Concepedia

Author

Mirabelle Nebut

Laboratoire Informatique, Image et Interaction (L3i)

Also Known As

B. Johansson, Guillaume Madelaine, M Nebut, M. Nebut, Mirabelle Nebut, Nebut, Mirabelle

21

Publications

80

Citations

6

H-Index

10

Concepts

All Affiliations

Laboratoire Informatique, Image et Interaction (L3i)
MN

About

Mirabelle Nebut is an author at Laboratoire Informatique, Image et Interaction (L3i) specializing in engineering, proof complexity, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

17

2

Computer Science

1

1

17

3

Mathematical Foundations

1

1

17

4

Theory Of Computing

1

1

17

5

Automated Reasoning

1

1

17

Mirabelle Nebut

×

2

Publications

27

Citations

2

H-Index

YearCitations

Page 1