Authors Search About

Blair, Howard A.

1 publications

IJCAI 1985 Computer Assisted Reasoning with MIZAR Andrzej Trybulec, Howard A. Blair

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