Non-standard logics for automated reasoning proceedings edited by Philippe Smets and others
Workshop on non-standard logics for automated reasoning, Ist| Call Number | 511.3 W89N |
| Author | Workshop on non-standard logics for automated reasoning, Ist |
| Title | Non-standard logics for automated reasoning proceedings edited by Philippe Smets and others |
| Publication | London: Academic Press, 1988. |
| Physical Description | 334p. |
| Added Author | Smets, Philippe, ed. |
| Subject | LOGIC, SYMBOLIC AND MATHEMATICAL |
Total Ratings:
0
00752 amaa2200217zu 4500
001
vtls000001190
003
VRT
005
20160510150100.0
008
020601nuuuuuuuuvaua s000 eng d
035
$a 101163
039
9
$a 201605101501 $b thirupathi $c 200306271909 $d VLOAD $y 200206011009 $z VLOAD
040
$a VTLS
082
1
0
$a 511.3 $b W89N
100
1
$a Workshop on non-standard logics for automated reasoning, Ist
245
1
$a Non-standard logics for automated reasoning $b proceedings $c edited by Philippe Smets and others
260
$a London: $b Academic Press, $c 1988.
300
$a 334p.
650
0
$a LOGIC, SYMBOLIC AND MATHEMATICAL
700
1
$a Smets, Philippe, ed.
999
$a VIRTUA00
999
$a VTLSSORT0080*0350*0400*0820*1000*2450*2600*3000*6500*7000*9992
No Reviews to Display
| Subject | LOGIC, SYMBOLIC AND MATHEMATICAL |