Skip to contents Schellhorn, Gerhard [Author]; Ahrendt, Wolfgang [Author] Verification of a prolog compiler - first steps with KIV Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,05
Schellhorn, Gerhard [Author]; Ahrendt, Wolfgang [Author] Verification of a prolog compiler - first steps with KIV Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Ulm: Univ., Fak. für Informatik, 1996 Published in: Ulmer Informatik-Berichte ; 96,05
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Creator Skip to next facet Ahrendt, Wolfgang (1) Wert ausschließen Schellhorn, Gerhard (1) Wert ausschließen Show more show less