Login / Signup

ERIL - Equational Reasoning: an Interactive Laboratory.

A. J. J. Dick
Published in: European Conference on Computer Algebra (2) (1985)
Keyphrases