Jörg H. Siekmann
8th International Conference on Automated Deduction - 1986 - Springer Berlin Heidelberg 1986 - Lecture Notes in Computer Science .
9783540398615
Computer Science
8th International Conference on Automated Deduction - 1986 - Springer Berlin Heidelberg 1986 - Lecture Notes in Computer Science .
9783540398615
Computer Science