Mohammed Hashim

According to our database, Mohammed Hashim authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Sequoia: A Playground for Logicians - (System Description).

Giselle Reis, Zan Naeem, Mohammed Hashim

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020