Ewing Lusk, Ross Overbeek

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

9783540392163


Computer Science