Free variable tableaux for a logic with term declarations
ISSN: 0302-9743, 1611-3349
ISBN: 9783540644064
Datum der Publikation: 1998
Ausgabe: 1397 LNAI
Seiten: 202-216
Art: Konferenz-Beitrag
ISSN: 0302-9743, 1611-3349
ISBN: 9783540644064
Datum der Publikation: 1998
Ausgabe: 1397 LNAI
Seiten: 202-216
Art: Konferenz-Beitrag