Peter Bruell

According to our database1, Peter Bruell authored at least 2 papers between 1974 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

1974
A Man-Machine Theorem-Proving System.
Artif. Intell., 1974


  Loading...