Mohamed Hassona

According to our database, Mohamed Hassona authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Deduction as a Service.

Mohamed Hassona, Stephan Schulz

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016