Parigot, M., & Voronkov, A. Logic for programming and automated reasoning: 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings. Springer.
Style de citation Chicago (17e éd.)Parigot, Michel, et Andrei Voronkov. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : Proceedings. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)Parigot, Michel, et Andrei Voronkov. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : Proceedings. Springer.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.