Andrews, Peter B.

Andrews, Peter B.
All Links

Share this:

Details of Andrews, Peter B.

About Andrews, Peter B.
Andrews, Peter B.- Carnegie Mellon University - Type theory, automated theorem proving.
Education