Peter Bruell

According to our database1, Peter Bruell authored at least 2 papers between 1973 and 1979.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

1979
A Prover for General Inequalities.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1973
A Man-Machine Theorem-Proving System.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973


  Loading...