PUCPR Search for 'se,phr:"Wiley professional computing"'

Principles of automated theorem proving

By Duffy, David A..
Chichester | New York Wiley 1991 .
xviii, 243 p. 25 cm..
0471927848

By Cohen, Frederick B..
New York Wiley 1994 .
xi, 250 p. 24 cm..
0471007692 (book/disk) | 0471007684 (paper) | 0471007706 (disk)

By Fisher, Alan S..
New York Wiley 1991 .
xviii, 334 p. 24 cm..
0471530425 (pbk.)

By Mak, Ronald.
New York Wiley 1991 .
x, 516 p. , Cover title: Writing compilers & interpreters. | Includes index. 24 cm..
047150968X