Jörg H. Siekmann

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

9783540398615


Computer Science