Tutorial on Compilation techniques for Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hans Jürgen Ohlbach, Andreas Herzig. Tutorial on Compilation techniques for Logics. In Mark E. Stickel, editor, 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings. Volume 449 of Lecture Notes in Computer Science, pages 683, Springer, 1990.

This author has not been identified. Look up 'Hans Jürgen Ohlbach' in GoogleThis author has not been identified. Look up 'Andreas Herzig' in Google

runs on WebDSL