Peter Bruell

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1974

2 W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. Artif. Intell. 5(1): 51-72 (1974)

1973

1 W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. IJCAI 1973: 56-66

	1974
2		W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. Artif. Intell. 5(1): 51-72 (1974)
	1973
1		W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. IJCAI 1973: 56-66

Coauthor Index