Automated theorem proving after 25 years edited by W.W. Bledsoe and D.W. Loveland
Bledsoe, W.W.| Call Number | 511.3 B61A |
| Author | Bledsoe, W.W. |
| Title | Automated theorem proving after 25 years edited by W.W. Bledsoe and D.W. Loveland |
| Publication | Providence: American Mathematical Society, 1984. |
| Physical Description | 360p. |
| Series | Contemporary Mathematics; V.29 |
| Added Author | Loveland, D.W., ed. |
| Subject | AUTOMATIC THEOREM PROVING PROOF THEORY |
Total Ratings:
0
00792 amaa2200241zu 4500
001
vtls000003094
003
VRT
005
20160425150200.0
008
020601nuuuuuuuuvaua s000 eng d
035
$a 103067
039
9
$a 201604251502 $b thirupathi $c 200306271919 $d VLOAD $y 200206011024 $z VLOAD
040
$a VTLS
082
1
0
$a 511.3 $b B61A
100
1
$a Bledsoe, W.W.
245
1
$a Automated theorem proving $b after 25 years $c edited by W.W. Bledsoe and D.W. Loveland
260
$a Providence: $b American Mathematical Society, $c 1984.
300
$a 360p.
440
$a Contemporary Mathematics; V.29
650
0
$a AUTOMATIC THEOREM PROVING
650
0
$a PROOF THEORY
700
$a Loveland, D.W., ed.
999
$a VIRTUA00
999
$a VTLSSORT0080*0350*0400*0820*1000*2450*2600*3000*4400*6500*6501*7000*9992
No Reviews to Display
| Subject | AUTOMATIC THEOREM PROVING PROOF THEORY |