Michel Parigot

1 published title

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

(Contributor)

1 edition