Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • kwarc/kwarc.info/www
  • richardmarcus/www
2 results
Show changes
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 10 deletions
teaching/wuv.md deleted 100644 → 0
View file @ b206c24f
---
layout: course
instructor: mkohlhase
title: Seminar Wissensrepräsentation und -verarbeitung
menu_title: Seminar WuV
---
This seminar covers topics from knowledge representation and knowledge processing, mostly
with a focus on mathematical knowledge.