Inhalt

[ 201LOSDRCLV14 ] VL Rewriting in Computer Science and Logic

Versionsauswahl
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 Teimuraz Kutsia 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2022W
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