Theorem proving modulo associativity
ISSN: 1611-3349, 0302-9743
ISBN: 9783540613770
Argitalpen urtea: 1996
Alea: 1092
Orrialdeak: 452-467
Mota: Biltzar ekarpena
ISSN: 1611-3349, 0302-9743
ISBN: 9783540613770
Argitalpen urtea: 1996
Alea: 1092
Orrialdeak: 452-467
Mota: Biltzar ekarpena