An automated reasoning system - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Larry Wos, S. K. Winker, Ewing L. Lusk. An automated reasoning system. In American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA. Volume 50 of AFIPS Conference Proceedings, pages 697-702, AFIPS Press, 1981. [doi]

This author has not been identified. Look up 'Larry Wos' in GoogleThis author has not been identified. Look up 'S. K. Winker' in GoogleThis author has not been identified. Look up 'Ewing L. Lusk' in Google

runs on WebDSL