Sheau-Huei Wu

According to our database1, Sheau-Huei Wu authored at least 1 paper in 1987.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1987
An Approximate Linear Time Propagate and Divide Theorem Prover for Propositional Logic.
Int. J. Pattern Recognit. Artif. Intell., 1987


  Loading...