Peter Bruell (bruell-p)

Contributions à Philosophie.ch

Bibliography

Bledsoe, Woodrow W. and Bruell, Peter. 1974. “A Man-Machine Theorem-Proving System.” Artificial Intelligence 5(1): 51–72.