Pascal Gribomont is professor of computer science and artificial intelligence. His research interests include verification methods for concurrent programs, automated theorem proving, artificial intelligence and formal logic.
Questions d'algèbre de juillet 2003 à septembre 2019, avec solutions
Questions d'algèbre de juillet 2020, avec solutions
Questions d'algèbre de septembre 2020, avec solutions
Question d'algèbre d'avril 2021, avec solution
Questions d'algèbre de juillet 2021, avec solutions
Questions d'algèbre de septembre 2021, avec solutions et commentaires