|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
b1760459 |
| 003 |
CoU |
| 008 |
880314s1988 enka b 001 0 eng |
| 010 |
|
|
|a 88009524
|
| 020 |
|
|
|a 0521352363
|
| 035 |
|
|
|a ocm17731779
|
| 040 |
|
|
|a DLC
|c DLC
|d COD
|
| 049 |
|
|
|a COD2
|
| 050 |
0 |
|
|a Q335
|b .R35 1988
|
| 050 |
0 |
|
|a Q335
|b .R35 1988
|
| 100 |
1 |
|
|a Ramsay, Allan,
|d 1953-
|0 http://id.loc.gov/authorities/names/n85057646
|1 http://isni.org/isni/0000000110632886.
|
| 245 |
1 |
0 |
|a Formal methods in artificial intelligence /
|c Allan Ramsay.
|
| 260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press,
|c 1988.
|
| 300 |
|
|
|a ix, 279 pages :
|b illustrations ;
|c 26 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia.
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier.
|
| 490 |
1 |
|
|a Cambridge tracts in theoretical computer science ;
|v 6.
|
| 500 |
|
|
|a Includes index.
|
| 504 |
|
|
|a Bibliography: pages [273]-275.
|
| 590 |
|
|
|a SCIENCE [c.1] ao.
|
| 583 |
1 |
|
|a committed to retain
|c 20160101
|d 20410101
|5 CoU
|f Alliance Shared Trust
|u https://www.coalliance.org/shared-print-archiving-policies.
|
| 650 |
|
0 |
|a Artificial intelligence
|x Methodology.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115.
|
| 650 |
|
0 |
|a Reasoning.
|0 http://id.loc.gov/authorities/subjects/sh85111790.
|
| 830 |
|
0 |
|a Cambridge tracts in theoretical computer science ;
|v 6.
|0 http://id.loc.gov/authorities/names/n86714937.
|
| 907 |
|
|
|a .b1760459x
|b 03-18-20
|c 11-25-94
|
| 998 |
|
|
|a pas
|b 03-21-95
|c -
|d m
|e -
|f eng
|g enk
|h 0
|i 1
|
| 907 |
|
|
|a .b1760459x
|b 10-24-18
|c 11-25-94
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b1760459x
|b 05-31-14
|c 11-25-94
|
| 907 |
|
|
|a .b1760459x
|b 05-10-07
|c 11-25-94
|
| 999 |
f |
f |
|i bf9b5d57-58d1-56cd-bfa8-89a013331e09
|s c7c67158-1eee-5967-bf4b-2bf266d6ef23
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Offsite
|d PASCAL Offsite
|e Q335 .R35 1988
|h Library of Congress classification
|i book
|m P106130211011
|n 1
|
