Personensuche
X
?
2023 7th International Conference On Computing, Communication, Control And Automation (ICCUBEA) ,
4
PlanIT: An Itinerary Planner using K-Means Clustering and T..:
, In:
?
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
5
Formalising Sharkovsky's Theorem (Proof Pearl):
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
8