Roland Dietrich

• Aktuelle Fragen der Produktkostenkalkulation und des Produktkostencontrollings
• Modes and types for Prolog
• Relating Resolution and Algebraic Completion for Horn Logic