Tobias Nipkow (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Tobias Nipkow" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

102^nd place

76^th place

7,448^th place

9,770^th place

low place

low place

cadeinc.org

"Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 14 July 2021.

doi.org

Blanchette, Jasmin (12 February 2021). "Message from the New Editor-in-Chief". Journal of Automated Reasoning. 65 (2): 155. doi:10.1007/s10817-021-09587-y. hdl:1871.1/1216cab9-08c1-4d41-8069-aa1735f5786d.

handle.net

hdl.handle.net

Blanchette, Jasmin (12 February 2021). "Message from the New Editor-in-Chief". Journal of Automated Reasoning. 65 (2): 155. doi:10.1007/s10817-021-09587-y. hdl:1871.1/1216cab9-08c1-4d41-8069-aa1735f5786d.

tum.de

professoren.tum.de

Brief vita