Guarded expressions in practice
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Reasoning about the Elementary Functions of Complex Analysis
Annals of Mathematics and Artificial Intelligence
Reasoning about the Elementary Functions of Complex Analysis
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Hi-index | 0.00 |