Das Karlsruher Beweissystem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther. Das Karlsruher Beweissystem. In Reinhard Wilhelm, editor, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings. Volume 33 of Informatik-Fachberichte, pages 400-412, Springer, 1980.

This author has not been identified. Look up 'Norbert Eisinger' in GoogleThis author has not been identified. Look up 'Jörg H. Siekmann' in GoogleThis author has not been identified. Look up 'Gert Smolka' in GoogleThis author has not been identified. Look up 'E. Unvericht' in GoogleThis author has not been identified. Look up 'Christoph Walther' in Google

runs on WebDSL