Semantisches Browsen

Diese Seite oder Aktion benötigt JavaScript, um zu funktionieren. Bitte aktiviere JavaScript in deinem Browser oder verwende einen Browser, der dies unterstützt, damit die angeforderten Funktionen ausgeführt werden können. Weitere Informationen findest du auf der Hilfeseite zu „noscript“.

#4488EE +

Course

Foundations of Logic Programming +

DS5 +

FLP-L8.pdf +

FLP-L8.pdf, +

11. Dezember 2017, 16:20:00 +

Lehrveranstaltungstype

Vorlesung +

Raum

Raum APB E005 +

Start

11. Dezember 2017, 14:50:00 +

Titel DE

Foundations of Logic Programming: Termination (Vorlesung) +

Titel EN

Foundations of Logic Programming: Termination (Lecture) +

Title

Termination +

Content properties

Foundations of Logic Programming +

Hat Unterobjekt„Hat Unterobjekt <span style="font-size:small;">(Has subobject)</span>“ ist ein softwareseitig fest definiertes Attribut und stellt einen <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Container">Datenverbund</a> dar. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.