Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Institution
The University of Liverppol
Department of Computer Science
Adresse
Ashton Street
Liverpool L69 3BX
Großbritannien
Liverpool L69 3BX
Projekte
Sachbeihilfen
laufende Projekte
Spielebasiertes kontrollieren von Nichtdeterminismus in Systemen mit unendlichen Zustandsräumen
(Antragsteller
Totzke, Patrick
)
abgeschlossene Projekte
Approximationalgorithmen für kombinatorische Optimierungsprobleme mit Packungsconstraints
(Antragsteller
Spoerhase, Joachim
)
Kombination von Modal- und Beschreibungslogiken und ihre Anwendung zur Repräsentation intensionalen und dynamischen Wissens
(Antragsteller
Wolter, Frank
)
Emmy Noether-Nachwuchsgruppen (Aktionsplan Informatik)
abgeschlossene Projekte
Algorithmic Tools for Games with Applications to E-Commerce and Networks
(Antragsteller
Krysta, Piotr
)
Schwerpunktprogramme
abgeschlossene Projekte
Amtliche Statistik und Demographie in Deutschland zwischen Staat und Wissenschaft, 1860-1939
(Antragsteller
Vögele, Jörg
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 446: Wissensrepräsentation
(Sprecher
Brewka, Gerhard
)
Zusatzinformationen
© 2024
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung