Založit si vlastní profil
Veřejný přístup
Zobrazit všechny17 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Stephen MuggletonImperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Sebastijan DumancicTenured Assistant Professor @ Delft University of TechnologyE-mailová adresa ověřena na: tudelft.nl
- Rolf MorelUniverstity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Richard EvansImperial College, DeepMindE-mailová adresa ověřena na: imperial.ac.uk
- Céline HocquetteUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Sophie TourretInriaE-mailová adresa ověřena na: loria.fr
- Mark LawILASP Limited, Imperial College LondonE-mailová adresa ověřena na: ilasp.com
- Alireza Tamaddoni-NezhadReader (Associate Professor), University of SurreyE-mailová adresa ověřena na: surrey.ac.uk
- Luke OngDistinguished University Professor, Nanyang Technological UniversityE-mailová adresa ověřena na: ntu.edu.sg
- Alan BundyProfessor of Automated Reasoning, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Tias GunsProfessor in Computer Science and AIE-mailová adresa ověřena na: kuleuven.be
- Andreas NiskanenPostdoctoral Researcher, Department of Computer Science, University of HelsinkiE-mailová adresa ověřena na: helsinki.fi
- Matti JärvisaloProfessor, University of HelsinkiE-mailová adresa ověřena na: helsinki.fi
- David M. CernaScientist- CAS ICSE-mailová adresa ověřena na: cs.cas.cz
- Oghenejokpeme I. OrhoborNIABE-mailová adresa ověřena na: niab.com