Logic For Programming And Automated Reasoning 7th International Conference Lpar | Desertcart EGYPT
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings: 1955 (Lecture Notes in Computer Science)
