نتایج جستجو
Formal Concept Analysis: 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Hsinchun Chen (auth.), 2012
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Nikolaj Bjørner (auth.), 2012
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Nikolaj Bjørner (auth.), 2012
