Ticket entailment plus the mingle axiom has the variable-sharing property
ISSN: 1367-0751, 1368-9894
Argitalpen urtea: 2012
Alea: 20
Zenbakia: 1
Orrialdeak: 355-364
Mota: Artikulua
ISSN: 1367-0751, 1368-9894
Argitalpen urtea: 2012
Alea: 20
Zenbakia: 1
Orrialdeak: 355-364
Mota: Artikulua