Multi-valued logics introducing propositional multi-valued logics with the help of a CAS
- Gilbert, RP (coord.)
- Kajiwara, J (coord.)
- Xu, YZS (coord.)
ISBN: 0-7923-5999-2
Año de publicación: 1999
Volumen: 4
Páginas: 277-290
Congreso: Conference on Recent Developments in Complex Analysis and Computer Algebra
Tipo: Aportación congreso