类似的网站 Iccta.Aast.Edu
ICCTA 2012
描述: 17th International Conference on Computer Theory and Applications. Alexandria, Egypt; 1–3 September 2007.
热门搜索: iccta aast
网站评级:
3.0 / 5.0, 审阅 Sites Like Search
语: English
网站主题: computer
34th International Colloquium on Automata, Languages and Programming. Wrocław, Poland. 9–13 July 2007.
网站评级:
3.0 / 5.0, 语: English
48th Annual IEEE Symposium on Foundations of Computer Science. Providence, Rhode Island. 20–23 October 2007.
网站评级:
3.0 / 5.0, 语: English
24th IEEE Conference on Computer Vision and Pattern Recognition. Colorado Springs, USA. June 20-25, 2011.
网站评级:
3.0 / 5.0, 语: English
MFCS 2007 - 32nd International Symposium on Mathematical Foundations of Computer Science, August 27-31, 2007, Cesky Krumlov, Czech Republic, Europe.
网站评级:
3.0 / 5.0, 语: English
Atlanta, Georgia
网站评级:
3.0 / 5.0, 语: English
CALCO 2011: Fourth International Conference on Algebra and Coalgebra in Computer Science
网站评级:
3.0 / 5.0, 语: English
9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras, Slovakia; 20–22 July 2007.
网站评级:
3.0 / 5.0, 语: English
A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order ...
网站评级:
3.0 / 5.0, 语: English