Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Université de Liège
Institut d'Electricité Montéfiore

Adresse 4000 Liège 1
Belgien

4000 Liège 1

Projekte

Sachbeihilfen
- laufende Projekte
  - SMT Techniken für arithmetische Theorien
    (Antragstellerin Ábrahám, Erika )
  - Ultra-Schnelle Event-Generation mit Hilfe Moderner Neuronaler Netze
    (Antragsteller Plehn, Tilman )
- abgeschlossene Projekte
  - SMArT // Satisfiability modulo Arithmetik und Theorien
    (Antragsteller Sagraloff, Michael )

© 2024 DFG Kontakt / Impressum / Datenschutz