ZPLAN: An Automatic Reasoning System for Situations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frank M. Brown, Seung S. Park, Jim Phelps. ZPLAN: An Automatic Reasoning System for Situations. In Ewing L. Lusk, Ross A. Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Volume 310 of Lecture Notes in Computer Science, pages 758-759, Springer, 1988.

This author has not been identified. Look up 'Frank M. Brown' in GoogleThis author has not been identified. Look up 'Seung S. Park' in GoogleThis author has not been identified. Look up 'Jim Phelps' in Google

runs on WebDSL