First International Symposium on Parallel Symbolic Computation, PASCO '94, Hagenberg/Linz, Austria, September 26-28, 1994

Parallel functional languages, K. Hammond parallel automated deduction, C. Kirchner parallel constraint/logic languages, G. Smolka parallel computer algebra, P. Wang.