Schmerl, Ulf2020-05-042020-05-041995https://dl.gi.de/handle/20.500.12116/32697Der Freundeskreis der Universität der Bundeswehr München zeichnete mit seinem diesjährigen Forschungspreis die Dissertation von Birgit Elbl aus. Wir wählen an dieser Stelle den etwas ungewöhnlichen Weg und drucken die Laudatio ihres "Doktorvaters" anläßlich der Verleihung dieses Preises ab.deDeklarative Semantik von Logikprogrammen mit Prologs AuswertungsstrategieText/Journal Article0944-0925