Automated reasoning with analytic tableaux and related methods /
Swart,Harrie de
Automated reasoning with analytic tableaux and related methods / Swart,Harrie de. - International confer - Berlin: Springer, 1998. - x,324p;26cm - Lecture notes in artificial intelligence,No-1397 .
Includes bibliographical references.
3540644067
006.3 SWA
Automated reasoning with analytic tableaux and related methods / Swart,Harrie de. - International confer - Berlin: Springer, 1998. - x,324p;26cm - Lecture notes in artificial intelligence,No-1397 .
Includes bibliographical references.
3540644067
006.3 SWA