Michel Parigot

1 works and 1 book versions on Book-Sharing

Michel Parigot is represented on Book-Sharing with 1 books, especially in Mathematics. Popular entries include Logic for Programming and Automated Reasoning.

Including 1 additional editions and alternate versions (2 total linked versions)

Mathematics EN books Logic for Programming and Automated Reasoning

Logic for Programming and Automated Reasoning (2003)

+1 more version EN Popularity 20

Mathematics

This book constitutes the refereed proceedings of the 7th International Conference on Logic for Prog…

Book-Sharing 2026 · Cookie settings