Hans Kleine Büning profile picture

Hans Kleine Büning

Is this your author profile? Create an account to customize it!

Stand Alone

Aussagenlogik: Deduktion und Algorithmen
Prolog
Prolog
Computer Science Logic 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings