Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. M. McRobbie, Robert K. Meyer
Main Author
Thistlewaite, Paul B.
Coauthor
MacRobbie, Michael A. M
Meyer, Robert K.
Country
Reino Unido.
Publication
London : Pitman, 1988
Description
154 p. :
il. ;
24 cm
Series
Research notes in theoretical computer science
ISBN
0-470-211006-0
CDU
510.6
519.6
There are no comments for this item.