Beeson, Michael J.
Professor, Computer Science
E-mail
Michael.Beeson@sjsu.edu
Additional Contact Information
Phone Number(s)
(408) 924-5113
Areas of Expertise: Mathematics
Media Source
Speaker
Collaborative Researcher
Education
- Doctor of Philosophy.
Stanford Univ, 1972
Expertise Summary
Metamathematics of constructive mathematics, Prolog, MathXpert, geometry, number theory