Attribut:Forschungsgruppe

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

This property links to a research group page.

Only the following values are permitted:

  • Automatentheorie
  • Computational Logic
  • Wissensbasierte Systeme
    • Knowledge Systems (legacy alias of Knowledge-Based Systems)
    • Knowledge-Based Systems (legacy alias of Wissensbasierte Systeme)
  • Verifikation und formale quantitative Analyse
  • Wissensverarbeitung
  • Logische Programmierung und Argumentation
  • Algebra und Diskrete Strukturen
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
"
(
1
2
3
6
9
?
A
Es kann einen Moment dauern, bis die Abfrage ausgeführt wurde. Vorbereiten …
{ "type": "PROPERTY_CONSTRAINT_SCHEMA", "constraints": { "type_constraint": "_wpg", "allowed_values": [ "Computational Logic", "Automatentheorie", "Wissensverarbeitung", "Knowledge-Based Systems", "Knowledge Systems", "Wissensbasierte Systeme", "Verifikation und formale quantitative Analyse", "Logische Programmierung und Argumentation", "Algebra und Diskrete Strukturen" ] } }