dblp.uni-trier.dewww.uni-trier.de

Shariar Zand-Biglari

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992
1 James D. Baker, Shariar Zand-Biglari: An Integral Theorem Prover And The Role Of Proof Planning. J. Autom. Reasoning 8(2): 275-295 (1992)

Coauthor Index

1James D. Baker [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)