A method of logic deduction and verification in KBS using positive integers
- Roanes-Lozano, E
- Roanes-Macias, E
- Laita, LM
- Ganzha, VG (coord.)
- Mayr, EW (coord.)
- Vorozhtsov, EV (coord.)
ISBN: 3-540-42355-9
Año de publicación: 2001
Páginas: 461-475
Congreso: 4th International Workshop on Computer Algebra in Scientific Computing (CASC)
Tipo: Aportación congreso