Automated reasoning introduction and application by L.Wos and others
Wos, Larry| Call Number | 001.535 W91A |
| Author | Wos, Larry |
| Title | Automated reasoning introduction and application by L.Wos and others |
| Publication | Englewood Cliffs Prentice Hall 1984 |
| Physical Description | 482p. |
| Subject | AUTOMATIC THEOREM PROVING ARTIFICIAL INTELLIGENCE ELECTRONIC DIGITAL COMPUTERS - PROGRAMMING |
Total Ratings:
0
00637 amaa2200217zu 4500
001
vtls000007021
003
VRT
005
20030627193800.0
008
020601nuuuuuuuuvaua s000 eng d
035
$a 106994
039
9
$a 200306271938 $b VLOAD $y 200206011041 $z VLOAD
040
$a VTLS
082
1
0
$a 001.535 $b W91A
100
1
$a Wos, Larry
245
1
$a Automated reasoning $b introduction and application $c by L.Wos and others
260
$a Englewood Cliffs $b Prentice Hall $c 1984
300
$a 482p.
650
0
$a AUTOMATIC THEOREM PROVING
650
0
$a ARTIFICIAL INTELLIGENCE
650
0
$a ELECTRONIC DIGITAL COMPUTERS - PROGRAMMING
999
$a VIRTUA00
No Reviews to Display
| Subject | AUTOMATIC THEOREM PROVING ARTIFICIAL INTELLIGENCE ELECTRONIC DIGITAL COMPUTERS - PROGRAMMING |