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...