Computational logic handbook by Robert S. Boyer and J. Strother Moore
Boyer, Robert S.| Call Number | 511.3 B69C |
| Author | Boyer, Robert S. |
| Title | Computational logic handbook by Robert S. Boyer and J. Strother Moore |
| Publication | Boston: Academic Press, 1988. |
| Physical Description | 408p. |
| Series | Perspective in Computing; Vol.23 |
| Added Author | Moore, J. Strother |
| Subject | LOGIC SYMBOLIC AND MATHEMATICAL |
Total Ratings:
0
00812 amaa2200241zu 4500
001
vtls000002454
003
VRT
005
20160426100000.0
008
020601nuuuuuuuuvaua s000 eng d
020
$a 0121229521
035
$a 102427
039
9
$a 201604261000 $b thirupathi $c 200808051426 $d chary $c 200808041153 $d jayasri $c 200306271916 $d VLOAD $y 200206011020 $z VLOAD
040
$a VTLS
082
1
0
$a 511.3 $b B69C
100
1
$a Boyer, Robert S.
245
1
$a Computational logic handbook $c by Robert S. Boyer and J. Strother Moore
260
$a Boston: $b Academic Press, $c 1988.
300
$a 408p.
440
$a Perspective in Computing; Vol.23
650
0
$a LOGIC SYMBOLIC AND MATHEMATICAL
700
1
$a Moore, J. Strother
999
$a VIRTUA00
999
$a VTLSSORT0080*0200*0350*0400*0820*1000*2450*2600*3000*4400*6500*7000*9992
No Reviews to Display
| Subject | LOGIC SYMBOLIC AND MATHEMATICAL |