A short proof for the open quadrant problem
- Fernando, J.F.
- Ueno, C.
Aldizkaria:
Journal of Symbolic Computation
ISSN: 0747-7171
Argitalpen urtea: 2017
Alea: 79
Orrialdeak: 57-64
Mota: Artikulua