Automated Reasoning - 9783319085869

Graph Transformation 7th International Conference ICGT 2014 Held

- Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as P

7th National Passive Solar Conference, John Hayes, Preprint Edition Vol. 7, 1982

Proceedings of the 7th International Conference on Knowledge Innovation and Inve

Fensel - Rules and Reasoning 7th International Joint Conference Rul - X555z

Automated Reasoning 11th International Joint Conference IJCAR 202

Coordination Models And Languages : 7th International Conference, Coordinatio...