Authors Search About

Trybulec, Andrzej

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