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
Argitalpen urtea: 2001
Orrialdeak: 461-475
Biltzarra: 4th International Workshop on Computer Algebra in Scientific Computing (CASC)
Mota: Biltzar ekarpena