hide
Title:
TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Source Genre:
Proceedings
Creator(s):
Broda, Editor
Krysia, Editor
D'Agostino, Editor
Marcello, Editor
al., et., Editor
Affiliations:
-
Publ. Info:
Imperial College of Science Technology and Medicine, TR-94/5
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
247 - 261
Identifier:
-