|
Liste aller Schrödinger-StipendiatInnen
 |
 |
 |
 |
| Name |
|
|
| |
Stefan SZEIDER |
| |
|
| Projekt-Nummer |
|
| |
J 2111 |
| Projekt-Titel |
|
| |
Homomorphismen und Aussagenlogische
Beweise |
| |
|
| Forschungsstätte im Ausland |
| |
Kanada
Toronto
Toronto University
Department of Computer Science |
|
| Laufzeit |
|
| |
01.05.2002 bis 01.05.2004 |
| |
|
| FWF-Projektdatenbank |
|
| |
http://www.fwf.ac.at/de/projects/projekt_datenbank.asp |
|