Artificial Intelligence, Computer Science Efficient Poker Hand Notation for Scientific Use Cases December 18, 2023
Computer Science, Logic in Computer Science Formalizing Nondeterminism in Coq Semantics December 13, 2023