Automated reasoning with analytic tableaux and related methods /
Murray,Neil V.
Automated reasoning with analytic tableaux and related methods / Murray,Neil V. - International confer - Berlin: Springer, 1999. - x,323p;26cm
Includes bibliographical references.
3540660860
006.3 GAL
Automated reasoning with analytic tableaux and related methods / Murray,Neil V. - International confer - Berlin: Springer, 1999. - x,323p;26cm
Includes bibliographical references.
3540660860
006.3 GAL