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