Thistlewaite,, Paul B.
Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. M. McRobbie, Robert K. Meyer
Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. M. McRobbie, Robert K. Meyer
. - London : Pitman, 1988
. - 154 p. : il. 24 cm
. - (Research notes in theoretical computer science)
0-470-211006-0 (Brochado)
510.6
519.6