About the Logikbasierte Wissensrepräsentation category
|
|
0
|
54
|
20. Dezember 2022
|
We're not using the forum anymore.
|
|
1
|
1655
|
28. März 2022
|
Umfrage Zweite KRMT Vorlesung
|
|
2
|
2563
|
22. April 2021
|
Materials and Software for the Practical Part
|
|
3
|
1215
|
20. April 2021
|
Zoom lecture room
|
|
1
|
1236
|
8. April 2021
|
KRMT Evaluation
|
|
2
|
2427
|
23. Juli 2020
|
jEdit/MMT problems
|
|
5
|
1604
|
15. Juli 2020
|
Materials and Software for the Practical Part
|
|
10
|
2280
|
2. Juli 2020
|
Homework submission
|
|
1
|
1509
|
10. Juni 2020
|
Zoom Lecture Room
|
|
6
|
2219
|
10. Juni 2020
|
Homework challenge
|
|
1
|
1544
|
14. Mai 2020
|
Literatur
|
|
2
|
1765
|
20. April 2020
|
Structure of the course in 2020
|
|
1
|
1631
|
14. April 2020
|
Record Types Example
|
|
1
|
3165
|
18. Juli 2019
|
Error when trying to proof SCombinator
|
|
2
|
2146
|
3. Juli 2019
|
Homework
|
|
1
|
2187
|
19. Juni 2019
|
Homework
|
|
1
|
2260
|
7. Juni 2019
|
ur:?LF
|
|
2
|
2105
|
23. Mai 2019
|
Argument index
|
|
5
|
2186
|
22. Mai 2019
|
Iff from PLSyntax
|
|
3
|
2171
|
22. Mai 2019
|
SCombinator
|
|
2
|
2320
|
22. Mai 2019
|
Homework (May 16th)
|
|
3
|
2338
|
21. Mai 2019
|
Homework
|
|
1
|
2359
|
9. Mai 2019
|
Vorlesung morgen: Bitte Laptop mitbringen ;)
|
|
1
|
2242
|
24. April 2019
|
Skalarprodukt von Vektorräumen
|
|
4
|
3336
|
17. Oktober 2018
|
smglom: Einige Fehler bis hin zu reals.mmt
|
|
2
|
2645
|
17. Oktober 2018
|
subtraction und subtract kollidieren
|
|
3
|
2878
|
3. Oktober 2018
|
"role abbreviation"
|
|
1
|
2635
|
2. Oktober 2018
|
Witeness bei predicate subtypes
|
|
2
|
2742
|
25. September 2018
|
Wie verwendet man flatseq (bzw sequences)
|
|
2
|
2664
|
21. September 2018
|