Concepedia

Author

V. Thibau

Université d'Artois

Also Known As

V. Thibau

4

Publications

14

Citations

1

H-Index

6

Concepts

All Affiliations

Université d'Artois
VT

About

V. Thibau is an author at Université d'Artois specializing in formal methods, mathematical programming, and logic programming.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

12

2

Computer Science

1

1

12

3

Automated Reasoning

1

1

12

4

Formal Methods

1

1

12

5

Logic Programming

1

1

12

V. Thibau

×

1

Publications

12

Citations

1

H-Index

YearCitations

Page 1