Login / Signup
Shariar Zand-Biglari
Publication Activity (10 Years)
Years Active: 1992-1992
Publications (10 Years): 0
</>
Publications
</>
James D. Baker
,
Shariar Zand-Biglari
An Integral Theorem Prover And The Role Of Proof Planning.
J. Autom. Reason.
8 (2) (1992)