|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
b2656661 |
| 003 |
CoU |
| 008 |
960305s1996 ne a b 001 0 eng |
| 005 |
20231212010220.5 |
| 010 |
|
|
|a 96012490
|
| 020 |
|
|
|a 0444816445 (acid-free paper)
|
| 035 |
|
|
|a (OCoLC)ocm34411226
|
| 040 |
|
|
|a DLC
|c DLC
|
| 049 |
|
|
|a CODI
|
| 050 |
0 |
0 |
|a QA76.63
|b .M473 1996
|
| 100 |
1 |
|
|a Metakides, George,
|d 1945-
|0 http://id.loc.gov/authorities/names/n82103994
|1 http://isni.org/isni/0000000109359296.
|
| 245 |
1 |
0 |
|a Principles of logic and logic programming /
|c G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
|
| 260 |
|
|
|a Amsterdam ;
|a New York :
|b Elsevier,
|c 1996.
|
| 300 |
|
|
|a xiii, 329 pages :
|b illustrations ;
|c 25 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 Studies in computer science and artificial intelligence ;
|v 13.
|
| 504 |
|
|
|a Includes bibliographical references (pages 311-317) and indexes.
|
| 583 |
1 |
|
|a committed to retain
|c 20230101
|d 20480101
|5 CoU
|f Alliance Shared Trust
|u https://www.coalliance.org/shared-print-archiving-policies.
|
| 650 |
|
0 |
|a Logic programming.
|0 http://id.loc.gov/authorities/subjects/sh86003454.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115.
|
| 700 |
1 |
|
|a Nerode, Anil,
|d 1932-
|0 http://id.loc.gov/authorities/names/n82090372
|1 http://isni.org/isni/0000000109041472.
|
| 700 |
1 |
|
|a Sinachopoulos, A.
|q (Aneta)
|0 http://id.loc.gov/authorities/names/n97000716
|1 http://isni.org/isni/0000000030894472.
|
| 830 |
|
0 |
|a Studies in computer science and artificial intelligence ;
|v 13.
|0 http://id.loc.gov/authorities/names/n84720694.
|
| 907 |
|
|
|a .b26566618
|b 03-18-20
|c 02-18-97
|
| 998 |
|
|
|a eng
|b 04-01-97
|c d
|d m
|e -
|f eng
|g ne
|h 0
|i 2
|
| 907 |
|
|
|a .b26566618
|b 11-23-14
|c 02-18-97
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b26566618
|b 12-19-08
|c 02-18-97
|
| 907 |
|
|
|a .b26566618
|b 03-25-04
|c 02-18-97
|
| 946 |
|
|
|a glc
|
| 999 |
f |
f |
|i a09d8a73-010b-5eb9-a3a2-8317312610a9
|s 504ff823-4bfe-5650-9d96-3271633c21d2
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Offsite
|d PASCAL Offsite
|e QA76.63 .M473 1996
|h Library of Congress classification
|i book
|m P204312608001
|n 1
|
