A Prover for Parallel Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Masahiro Hirata, Toshio Nishimura. A Prover for Parallel Processes. In Bruce G. Buchanan, editor, Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. pages 384-389, William Kaufmann, 1979.

This author has not been identified. Look up 'Masahiro Hirata' in GoogleThis author has not been identified. Look up 'Toshio Nishimura' in Google

runs on WebDSL