Search results for: Zaynah Dargaye
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 211-225
Higher-Order and Symbolic Computation > 2009 > 22 > 3 > 199-231
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 211-225
Higher-Order and Symbolic Computation > 2009 > 22 > 3 > 199-231