by Robinson, George, Wos, Lawrence
Published in Symposium on Automatic Demonstration (23.08.2006)

by Kreisel, G.
Published in Symposium on Automatic Demonstration (23.08.2006)

by Luckham, David
Published in Symposium on Automatic Demonstration (23.08.2006)

by Laudet, M., Lacombe, D., Nolin, L., Schützenberger, M.
Published in Symposium on Automatic Demonstration (23.08.2006)

by Wang, Hao
Published in Symposium on Automatic Demonstration (23.08.2006)

by Scott, Dana
Published in Symposium on Automatic Demonstration (23.08.2006)

by Grzegorczyk, Andrzej
Published in Symposium on Automatic Demonstration (23.08.2006)

by de Bruijn, N. G.
Published in Symposium on Automatic Demonstration (23.08.2006)

by Pitrat, Jacques
Published in Symposium on Automatic Demonstration (23.08.2006)

by Loveland, D. W.
Published in Symposium on Automatic Demonstration (23.08.2006)

by Prawitz, Dag
Published in Symposium on Automatic Demonstration (23.08.2006)

by Engeler, Erwin
Published in Symposium on Automatic Demonstration (23.08.2006)

by Kowalski, Robert
Published in Symposium on Automatic Demonstration (23.08.2006)

by Laudet, M.
Published in Symposium on Automatic Demonstration (23.08.2006)

by Fraïssè, Roland
Published in Symposium on Automatic Demonstration (23.08.2006)

by Arnold, André
Published in Symposium on Automatic Demonstration (23.08.2006)

by Wos, Lawrence, Robinson, George
Published in Symposium on Automatic Demonstration (23.08.2006)