Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee
Chang, Chin-Liang| Call Number | 001.535 C36S |
| Author | Chang, Chin-Liang |
| Title | Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee |
| Publication | Orlando: Academic Press, 1973. |
| Physical Description | 331p. |
| Added Author | Char-Tung Lee, Richard |
| Subject | LOGIC, SYMBOLIC AND MATHEMATICAL AUTOMATIC THEOREM PROVING |
Total Ratings:
0
00773 amaa2200217zu 4500
001
vtls000007909
003
VRT
005
20210309103900.0
008
020601nuuuuuuuuvaua s000 eng d
039
9
$a 202103091039 $b vslib $c 201208231447 $d padmavathi $c 200508171119 $d igml $c 200306271942 $d VLOAD $y 200206011045 $z VLOAD
040
$a VTLS
082
$a 001.535 $b C36S
100
1
$a Chang, Chin-Liang
245
1
$a Symbolic logic and mechanical theorem proving $c by Chin-Liang Chang and Richard Char-Tung Lee
260
$a Orlando: $b Academic Press, $c 1973.
300
$a 331p.
650
0
$a LOGIC, SYMBOLIC AND MATHEMATICAL
650
0
$a AUTOMATIC THEOREM PROVING
700
1
$a Char-Tung Lee, Richard
999
$a VIRTUA00
999
$a VTLSSORT0080*0400*0820*1000*2450*2600*3000*6500*6501*7000*9992
No Reviews to Display
| Subject | LOGIC, SYMBOLIC AND MATHEMATICAL AUTOMATIC THEOREM PROVING |