Mark E. Stickel

10th International Conference on Automated Deduction - 1990 - Springer Berlin Heidelberg 1990 - Lecture Notes in Computer Science .

9783540471714


Computer Science