1) European Association for Theoretical Computer Science
欧洲理论计算机科学协会
4) ECMA Eoupean Computer Manufacture Association
欧洲计算机制造协会
5) EUROCOMP (European Computer conference)
欧洲计算机会议
6) theoretical computer science
理论计算机科学
1.
Automata theory is one of the foundations of theoretical computer science.
自动机理论是理论计算机科学的基础理论之一,在很多领域自动机有着广泛的应用,在将黑白图像进行像素地址编码的基础上使用语言来描述数字图像,从而得到用自动机来描述数字图像的方法,任意有穷分辨率黑白图像均可以用有穷状态自动机来表示,多分辨率图像能够用有穷状态自动机来描述当且仅当该图像中不同形状的子图像的个数为有限个。
2.
This paper provides an intuitive and easily understandable overview of some fundamental ideas in the area of theoretical computer science, especially those related to logic and semantics.
本文对理论计算机科学,特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述,旨在使上述思想能为希望在该领域开拓视野之士敞开大门。
3.
In recent years semantic ideas and methods have been emphasized in many branches of theoretical computer science.
近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视。
补充资料：国际科学史和科学哲学协会
由国际科学史协会同国际逻辑学、方法论和科学哲学协会合并而成的国际性的科学哲学家的学术性团体。简称IUHPS。该协会成立于1956年,会址在法国巴黎。原科学史协会,原逻辑学、方法论和科学哲学协会,作为其中的两个分会而保持各自的独立性。协会的宗旨：建立上述学科的研究团体和学者之间的学术联系，出版有关刊物和资料，召开国际大会和有关专题学术讨论会。截至 1984年，已有 30多个国家的有关学术机构参加该协会的组织和学术活动。它的定期刊物是《国际科学史档案》（季刊,法文）和《符号逻辑杂志》（季刊,英文）。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条