Inhalt

[ 201LOSDRCLV14 ] VL Rewriting in Computer Science and Logic

Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Masterstudium Computational Mathematics 2023W vorhanden.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B3 - Bachelor 3. Jahr Mathematik Franz Winkler 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2014S
Beurteilungskriterien
Lehrinhalte wechselnd? Nein
Äquivalenzen TM1WIVOREWR: VO Rewriting in Computer Science und Logik (3 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung