Algorithms and proofs: mathematics in the computing curriculum
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Vehicle route-sequence planning using temporal logic
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Applications of fuzzy logic functions to knowledge discovery in databases
Transactions on Rough Sets II
Hi-index | 0.00 |