Clausal form logic an introduction to the logic of computer reasoning by Tom Richards
Richards, Tom| Call Number | 001.535 R39C |
| Author | Richards, Tom |
| Title | Clausal form logic an introduction to the logic of computer reasoning by Tom Richards |
| Publication | Sidney Addison-Wesley 1989 |
| Physical Description | 359p. |
| Series | International Computer Science Series |
| Subject | EXPERT SYSTEMS (COMPUTER SCIENCE) ARTIFICIAL INTELLIGENCE LOGIC, SYMBOLIC AND MATHEMATICAL REASONING |
Total Ratings:
0
00726 amaa2200241zu 4500
001
vtls000005888
003
VRT
005
20030627193300.0
008
020601nuuuuuuuuvaua s000 eng d
035
$a 105861
039
9
$a 200306271933 $b VLOAD $y 200206011036 $z VLOAD
040
$a VTLS
082
1
0
$a 001.535 $b R39C
100
1
$a Richards, Tom
245
1
$a Clausal form logic $b an introduction to the logic of computer reasoning $c by Tom Richards
260
$a Sidney $b Addison-Wesley $c 1989
300
$a 359p.
440
$a International Computer Science Series
650
0
$a EXPERT SYSTEMS (COMPUTER SCIENCE)
650
0
$a ARTIFICIAL INTELLIGENCE
650
0
$a LOGIC, SYMBOLIC AND MATHEMATICAL
650
0
$a REASONING
999
$a VIRTUA00
No Reviews to Display
| Subject | EXPERT SYSTEMS (COMPUTER SCIENCE) ARTIFICIAL INTELLIGENCE LOGIC, SYMBOLIC AND MATHEMATICAL REASONING |