A logic teaching tool based on tableaux for verification and debugging of algorithms
- Del Vado Vírseda, R.
- Orna, E.P.
- Berbis, E.
- De León Guerrero, S.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642213496
Argitalpen urtea: 2011
Alea: 6680 LNAI
Orrialdeak: 239-248
Mota: Biltzar ekarpena