Search for persons
X
?
2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) ,
1
Automatic Parallelization of Programs via Software Stream R..:
, In:
?
The 12th International Conference on Advances in Information Technology ,
2
Interactive Online Configurator via Boolean Satisfiability ..:
, In:
?
Handbook of Knowledge Representation; Foundations of Artificial Intelligence ,
8
Chapter 1 Knowledge Representation and Classical Logic:
, In:
?
14
The efficiency of theorem proving strategies
a comparative and asymptotic analysis
Computational intelligence
Copies:
Zentrale:E02 a inf 430 e/433