Personensuche
X
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
1
Evasiveness Through Binary Decision Diagrams:
, In:
?
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation ,
4
Certified symbolic manipulation : bivariate simplicial p..:
, In:
?
Proceedings of the 1999 international symposium on Symbolic and algebraic computation ,
8