Založit si vlastní profil
Veřejný přístup
Zobrazit všechny3 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Josef UrbanDistinguished Researcher at Czech Technical University in PragueE-mailová adresa ověřena na: cvut.cz
- Tom HeskesProfessor of Computer Science and Artificial Intelligence, Radboud University NijmegenE-mailová adresa ověřena na: science.ru.nl
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: ifi.lmu.de
- Bernhard SchroederProfessor für germanistische Linguistik, Universität Duisburg-EssenE-mailová adresa ověřena na: uni-due.de
- Peter KoepkeProfessor of Mathematics, University of BonnE-mailová adresa ověřena na: math.uni-bonn.de
- Cezary KaliszykUniversity of InnsbruckE-mailová adresa ověřena na: uibk.ac.at
- Twan van LaarhovenRadboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- David GreenawayNICTA and School of Computer Science, University of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartE-mailová adresa ověřena na: eprover.org
- Herman GeuversRadboud University Nijmegen, the NetherlandsE-mailová adresa ověřena na: cs.ru.nl
- Sil C. van de LeemputPhD student RadboudumcE-mailová adresa ověřena na: radboudumc.nl