Brief biography of David Plaisted
Some research accomplishments of Prof. Plaisted
A bibliography of instance-based theorem proving
Book Ad
Book Ad
Election Statement
David Plaisted's home page with some of his recent publications
Some items relevant to Prof. Plaisted's effort to make CADE democratic at the 1996 CADE business meeting:
Long speech about the CADE democracy effort
Short speech about the CADE democracy effort
Discussion of the outcome of the CADE democracy effort
Discussion of the current bylaws