Concepedia

Author

Alain Callebaut

Also Known As

Alain Callebaut

2

Publications

69

Citations

1

H-Index

5

Concepts

AC

About

Alain Callebaut is an author specializing in formal methods, logic programming, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

69

2

Computer Science

1

1

69

3

Automated Reasoning

1

1

69

4

Formal Methods

1

1

69

5

Logic Programming

1

1

69

Alain Callebaut

×

1

Publications

69

Citations

1

H-Index

YearCitations

Page 1