|
|
|
|
| LEADER |
01247cam a2200301 a 4500 |
| 001 |
c000280466 |
| 003 |
CARM |
| 005 |
20080213105845.0 |
| 008 |
901122s1989 xnaa b f000 0 eng d |
| 019 |
1 |
|
|a 6931462
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)47682056
|5 LACONCORD2021
|
| 040 |
|
|
|a NSL:R
|b eng
|c NSL:R
|d VCAV
|
| 042 |
|
|
|a anuc
|
| 082 |
0 |
4 |
|a 519.54
|2 20
|
| 100 |
1 |
|
|a Parle, Andrew Jeremy.
|
| 245 |
1 |
0 |
|a Extensions to the logical inference model /
|c Andrew Parle.
|
| 260 |
|
|
|a North Ryde, N.S.W. :
|b CSIRO, Division of Information Technology,
|c 1989.
|
| 300 |
|
|
|a 14 leaves :
|b ill. ;
|c 30 cm.
|
| 490 |
1 |
|
|a Information technology technical report / CSIRO, Division of Information technology ;
|v TR-FB-89-08
|
| 500 |
|
|
|a "September 1989".
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Modality (Logic)
|
| 650 |
|
0 |
|a Inference.
|
| 710 |
2 |
|
|a CSIRO.
|b Division of Information Technology.
|
| 830 |
|
0 |
|a Technical report (CSIRO. Division of Information Technology) ;
|v TR-FB-89-08.
|
| 852 |
8 |
|
|b CARM
|h AX:AXXXXX
|i X00000
|p 0394838
|z no loc
|f BK
|
| 999 |
f |
f |
|i 4aae5b1a-45f1-5f18-a5d9-b96218247473
|s a250e95c-8620-5352-96a4-a7abe60169ea
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e X00000
|f AX:AXXXXX
|h Other scheme
|i book
|m 0394838
|