Theorem Proving with Analytic Tableaux and Related Methods
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
275.77
lei
This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableau...
