Timothy B. Baird

1990
2	EE	Blayne E. Mayfield, Timothy B. Baird: STP: A Simple Theorem Prover for IBM-PC Compatible Computers. SIGSMALL/PC Symposium 1990: 98-105
1989
1		Timothy B. Baird, Gerald E. Peterson, Ralph W. Wilkerson: Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. RTA 1989: 29-44

Coauthor Index

1	Blayne E. Mayfield	[2]
2	Gerald E. Peterson	[1]
3	Ralph W. Wilkerson	[1]