Free variable tableaux for a logic with term declarations
ISSN: 0302-9743, 1611-3349
ISBN: 9783540644064
Année de publication: 1998
Volumen: 1397 LNAI
Pages: 202-216
Type: Communication dans un congrès
ISSN: 0302-9743, 1611-3349
ISBN: 9783540644064
Année de publication: 1998
Volumen: 1397 LNAI
Pages: 202-216
Type: Communication dans un congrès