Online Library TheLib.net » Author books / Книги автора Víctor Gutiérrez-Basulto Tomáš Kliegr Ahmet Soylu Martin Giese Dumitru Roman
book Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings
Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
book Inklusive Didaktik: Eine symbol- und bildungstheoretische Skizze
Inklusive Didaktik: Eine symbol- und bildungstheoretische Skizze
pdf
00
05.02.2024
0
0
Read online
book Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
pdf
00
27.01.2024
2
0
Read online
book Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
pdf
00
27.01.2024
1
0
Read online
book Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
pdf
00
27.01.2024
0
0
Read online