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

Detailseite

Person

Druckansicht

Professor Dr. Pascal Fontaine

Adresse Université de Liège
Institut d'Electricité Montéfiore
4000 Liège 1
Belgien

Projekte

Als Beteiligte Person
- abgeschlossene Projekte
  - SMArT // Satisfiability modulo Arithmetik und Theorien (Sachbeihilfen)
Als Kooperationspartner
- laufende Projekte
  - SMT Techniken für arithmetische Theorien (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz