Wada, E. (ed),Logic Programming'85, LNCS 221, Springer-Verlag, 1986. (1986) |
- Aoyagi, T.; M. Fujita, and T. Moto-oka. (1986) Aoyagi, T.; M. Fujita, and T. Moto-oka. "Temporal logic programming language Tokio" pp138-147
- (1986) Fujita Masahiro et al; Using the Temporal Logic Programming Language Tokio for algorithm description and automatic CMOS gate array synthesis, pp246-255
|
|