"1928"^^ . . . "Hartmanis, Juris (1928-)" . "Juris Hartmanis" . . "Hartmanis" . _:B800730269b8306b08843bd840b4a7db6 . . "Juris" . _:B800730269b8306b08843bd840b4a7db6 . _:B800730269b8306b08843bd840b4a7db6 . _:B800730269b8306b08843bd840b4a7db6 "2023-05-20"^^ . _:B800730269b8306b08843bd840b4a7db6 . _:B800730269b8306b08843bd840b4a7db6 . _:B800730269b8306b08843bd840b4a7db6 "074947389" . _:B800730269b8306b08843bd840b4a7db6 . _:B800730269b8306b08843bd840b4a7db6 . _:B800730269b8306b08843bd840b4a7db6 .