Refining Numerical Terms in Horn Clauses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Botta, Attilio Giordana, Roberto Piola. Refining Numerical Terms in Horn Clauses. In Maurizio Lenzerini, editor, AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings. Volume 1321 of Lecture Notes in Computer Science, pages 13-23, Springer, 1997.

This author has not been identified. Look up 'Marco Botta' in GoogleThis author has not been identified. Look up 'Attilio Giordana' in GoogleThis author has not been identified. Look up 'Roberto Piola' in Google

runs on WebDSL