Institute

Back to overview
Name

Faculty of Mathematics and Computer Science University of Amsterdam

Address Faculty of Mathematics and Computer Science University of Amsterdam
Kruislaan 403
1098 SJ
NL-Amsterdam
Show all

Projects

Responsible applicant Institution of higher education Start End date Funding scheme

Deduktive Systeme für die Verifikation von Logikprogrammen.
Stärk Robert Institution abroad - IACH 01.10.1994 30.06.1996 Fellowships for advanced researchers
-