Вы здесь

Главная

Helsinki

Связанные издания:

APL 84: Conference Tutoreals, Helsinki, 1984 (папка с копиями статей)
A PrT-net Representation of Graph Grammars
Hardware Support of Parallel Asynchronous Processes
Mathematical methods in proving properties of programs
On the Qualitative Models
STeP-86, V 2: Symposium Papers: Methodology/ Finnish Artificial Intelligence Symposium, Otaniemi, Espoo, Finland, August 1986
STeP-86, V. 3: Symposium Papers: Applications/ Finnish Artificial Intelligence Symposium,Otaniemi, Espoo, Finland, August 1986
STeP-88, V. 1: Invited Papers, Contributed Papers: Applications/ Finnish Artificial Intelligence Symposium, Helsinki, Finland, August 1988
STeP-88, V. 2: Contributed Papers: Methodology/ Finnish Artificial Intelligence Symposium, Helsinki, Finland, August 1988
What Operational Semantics is Adequate for Nonsequential Systems?