Authors Search About

Hirata, Masahiro

1 publications

IJCAI 1979 A Prover for Parallel Processes Masahiro Hirata, Toshio Nishimura

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy