Skapa en profil
Offentlig åtkomst
Visa alla11 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- James BrotherstonProfessor of Logic and Computation, University College LondonVerifierad e-postadress på ucl.ac.uk
- Liron CohenComputer Science, Ben-Gurion UniversityVerifierad e-postadress på cs.bgu.ac.il
- Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, IO GlobalVerifierad e-postadress på kent.ac.uk
- Steffen van BakelImperial College LondonVerifierad e-postadress på doc.ic.ac.uk
- Nikos GorogiannisFacebook LondonVerifierad e-postadress på fb.com
- Scott OwensUniversity of KentVerifierad e-postadress på kent.ac.uk
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerifierad e-postadress på cs.bham.ac.uk
- Victor-Alexandru DarvariuResearch Fellow in Machine Learning, University College LondonVerifierad e-postadress på ucl.ac.uk
- Simon DochertyUniversity College LondonVerifierad e-postadress på ucl.ac.uk
- Yoni ZoharBar Ilan UniversityVerifierad e-postadress på biu.ac.il