Alain Finkel

Alain Finkel

LMF ENS Paris Saclay
Email yang diverifikasi di ens-paris-saclay.fr
Dirujuk 7230 kali
model checking foundations of algorithmic verification model checking theoretical computer
András Salamon

András Salamon

University of St Andrews
Email yang diverifikasi di st-andrews.ac.uk
Dirujuk 335 kali
computational complexity constraint satisfaction constraint programming theoretical computer
Gend Lal Prajapati, PhD

Gend Lal Prajapati, PhD

Professor and Head of Computer Engineering Department, Devi Ahilya University, Indore …
Email yang diverifikasi di ietdavv.edu.in
Dirujuk 334 kali
Artificial Intelligence Machine Learning Automata theory Bioinformatics Theoretical Computer