الحصول على ملفك الشخصي الخاص
عدد المنشورات المتاحة للجميع
عرض المجموعة جميعها14 مقالة
مقالتان (2)
المقالات البحثية المتاحة للجميع
المقالات البحثية غير المتاحة للجميع
تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل
المؤلفون المشاركون
- Andrew IrelandProfessor of Computer Science, Heriot-Watt Universityبريد إلكتروني تم التحقق منه على hw.ac.uk
- Alan BundyProfessor of Automated Reasoning, University of Edinburghبريد إلكتروني تم التحقق منه على ed.ac.uk
- Greg MichaelsonEmeritus Professor of Computer Science, Heriot-Watt Universityبريد إلكتروني تم التحقق منه على hw.ac.uk
- David AspinallProfessor in Computer Science, University of Edinburghبريد إلكتروني تم التحقق منه على ed.ac.uk
- Maria Teresa LlanoSenior Lecturer, Monash University, Melbourne, Australiaبريد إلكتروني تم التحقق منه على monash.edu
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKبريد إلكتروني تم التحقق منه على ncl.ac.uk
- Alison PeaseUniversity of Dundeeبريد إلكتروني تم التحقق منه على dundee.ac.uk
- Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKبريد إلكتروني تم التحقق منه على hw.ac.uk
- Aleks KissingerAssociate Professor, University of Oxfordبريد إلكتروني تم التحقق منه على cs.ox.ac.uk
- Jónathan HerasUniversity of La Riojaبريد إلكتروني تم التحقق منه على unirioja.es
- Colin FarquharPhD Student, Heriot-Watt Universityبريد إلكتروني تم التحقق منه على hw.ac.uk
- Michael ButlerProfessor of Computer Science, University of Southamptonبريد إلكتروني تم التحقق منه على ecs.soton.ac.uk
- Stephen MuggletonImperial College Londonبريد إلكتروني تم التحقق منه على imperial.ac.uk
- Andrew CropperUniversity of Oxfordبريد إلكتروني تم التحقق منه على cs.ox.ac.uk
- Ramin RamezaniUniversity of California, Los Angeles, Imperial College Londonبريد إلكتروني تم التحقق منه على ucla.edu
- Stephan MerzSenior Researcher, INRIAبريد إلكتروني تم التحقق منه على inria.fr
- Colin O'HalloranTechnical Director - D-RisQبريد إلكتروني تم التحقق منه على drisq.com
- Jeremy GowQueen Mary University of Londonبريد إلكتروني تم التحقق منه على qmul.ac.uk
- Thomas WiesNew York Universityبريد إلكتروني تم التحقق منه على cs.nyu.edu
متابعة
Gudmund Grov
Senior Scientist, Norwegian Defence Research Establishment
بريد إلكتروني تم التحقق منه على ffi.no - الصفحة الرئيسية