[ 201LOSDRCLV14 ] VL Rewriting in Computer Science and Logic

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