About the Logikbasierte Wissensrepräsentation category
|
|
0
|
55
|
20. Dezember 2022
|
We're not using the forum anymore.
|
|
1
|
1657
|
28. März 2022
|
Umfrage Zweite KRMT Vorlesung
|
|
2
|
2564
|
22. April 2021
|
Materials and Software for the Practical Part
|
|
3
|
1216
|
20. April 2021
|
Zoom lecture room
|
|
1
|
1237
|
8. April 2021
|
KRMT Evaluation
|
|
2
|
2429
|
23. Juli 2020
|
jEdit/MMT problems
|
|
5
|
1605
|
15. Juli 2020
|
Materials and Software for the Practical Part
|
|
10
|
2281
|
2. Juli 2020
|
Homework submission
|
|
1
|
1510
|
10. Juni 2020
|
Zoom Lecture Room
|
|
6
|
2221
|
10. Juni 2020
|
Homework challenge
|
|
1
|
1545
|
14. Mai 2020
|
Literatur
|
|
2
|
1766
|
20. April 2020
|
Structure of the course in 2020
|
|
1
|
1633
|
14. April 2020
|
Record Types Example
|
|
1
|
3166
|
18. Juli 2019
|
Error when trying to proof SCombinator
|
|
2
|
2148
|
3. Juli 2019
|
Homework
|
|
1
|
2188
|
19. Juni 2019
|
Homework
|
|
1
|
2261
|
7. Juni 2019
|
ur:?LF
|
|
2
|
2107
|
23. Mai 2019
|
Argument index
|
|
5
|
2187
|
22. Mai 2019
|
Iff from PLSyntax
|
|
3
|
2172
|
22. Mai 2019
|
SCombinator
|
|
2
|
2321
|
22. Mai 2019
|
Homework (May 16th)
|
|
3
|
2339
|
21. Mai 2019
|
Homework
|
|
1
|
2360
|
9. Mai 2019
|
Vorlesung morgen: Bitte Laptop mitbringen ;)
|
|
1
|
2243
|
24. April 2019
|
Skalarprodukt von Vektorräumen
|
|
4
|
3337
|
17. Oktober 2018
|
smglom: Einige Fehler bis hin zu reals.mmt
|
|
2
|
2646
|
17. Oktober 2018
|
subtraction und subtract kollidieren
|
|
3
|
2880
|
3. Oktober 2018
|
"role abbreviation"
|
|
1
|
2636
|
2. Oktober 2018
|
Witeness bei predicate subtypes
|
|
2
|
2743
|
25. September 2018
|
Wie verwendet man flatseq (bzw sequences)
|
|
2
|
2665
|
21. September 2018
|