# Robert F. Stärk

> Ph.D. from Universität Bern in 1992 on "The Proof Theory of Logic Programs with Negation" supervised by Gerhard Jäger

**Wikidata**: [Q51156102](https://www.wikidata.org/wiki/Q51156102)  
**Source**: https://4ort.xyz/entity/robert-f-st-rk


## References

1. IdRef
2. Mathematics Genealogy Project
3. [Source](http://www.ethistory.ethz.ch/rueckblicke/departemente/dinfk/weitere_seiten/professoren/index_DE/biografien/staerk_DE/popupfriendly/index.html)
4. [Source](http://www.fritz-winter-stiftung.de/fileadmin/user_upload/Preisverleihung/Liste_Preisverleihungen.pdf)
5. Czech National Authority Database