Inhalt

[ 201SYMBRCLV23 ] VL Rewriting in Computer Science and Logic

Versionsauswahl
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B3 - Bachelor 3. Jahr Mathematik Teimuraz Kutsia 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2023W
Beurteilungskriterien
Lehrinhalte wechselnd? Nein
Äquivalenzen TM1WIVOREWR: VO Rewriting in Computer Science und Logik (3 ECTS)
Frühere Varianten Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
201LOSDRCLV14: VL Rewriting in Computer Science and Logic (2014S-2023S)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung