Lambda-Prolog: An Extended Logic Programming Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov. Lambda-Prolog: An Extended Logic Programming Language. 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 754-755, Springer, 1988.

This author has not been identified. Look up 'Amy P. Felty' in GoogleThis author has not been identified. Look up 'Elsa L. Gunter' in GoogleThis author has not been identified. Look up 'John Hannan' in GoogleThis author has not been identified. Look up 'Dale Miller' in GoogleThis author has not been identified. Look up 'Gopalan Nadathur' in GoogleThis author has not been identified. Look up 'Andre Scedrov' in Google

runs on WebDSL