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

Detailseite

Institution

Druckansicht

Max Planck Institute for Informatics
Saarland Informatics Campus
Research Group 1: Automation of Logic

Adresse Building E1 4
66123 Saarbrücken
Deutschland

GERiT Diese Institution in GERiT

66123 Saarbrücken

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - SMArT // Satisfiability modulo Arithmetik und Theorien
    (Antragsteller Sagraloff, Michael )
  - Symbolische Methoden für biologische Netzwerke
    (Antragsteller Klein, Reinhard ; Schuppert, Andreas ; Seiler, Werner M. ; Walcher, Sebastian )

© 2024 DFG Kontakt / Impressum / Datenschutz