Automated reasoning /
Gore,R(ed)
Automated reasoning / Gore,R(ed). - 1st international jo - Berlin: Springer, 2001. - xv,707p;23cm
Includes bibliographical references.
3540422544
006.3 GAL
Automated reasoning / Gore,R(ed). - 1st international jo - Berlin: Springer, 2001. - xv,707p;23cm
Includes bibliographical references.
3540422544
006.3 GAL