Studienhandbuch | VL Rewriting in Computer Science and Logic

Inhalt

Es ist eine neuere Version 2023W dieser LV im Curriculum Master's programme Computational Mathematics 2023W vorhanden.

^(*) Unfortunately this information is not available in english.

Workload	Education level	Study areas	Responsible person	Hours per week	Coordinating university
3 ECTS	B3 - Bachelor's programme 3. year	Mathematics	Franz Winkler	2 hpw	Johannes Kepler University Linz

Detailed information
Original study plan	Bachelor's programme Technical Mathematics 2014S
Criteria for evaluation
Changing subject?	No
Corresponding lecture	^(*)TM1WIVOREWR: VO Rewriting in Computer Science und Logik (3 ECTS)

On-site course
Maximum number of participants	-
Assignment procedure	Direct assignment