Logic for Programming and Automated Reasoning (2003)
MathematikThis book constitutes the refereed proceedings of the 7th International Conference on Logic for Prog…
Michel Parigot
Michel Parigot ist auf Book-Sharing mit 1 Büchern vertreten, besonders in Mathematik. Häufig aufgerufene Einträge sind Logic for Programming and Automated Reasoning.