|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
801769 |
| 003 |
ICU |
| 005 |
20000106114100.0 |
| 008 |
861218s1986 njua b 00100 eng u |
| 010 |
|
|
|a 85031176 //r894
|
| 020 |
|
|
|a 0135399580 :
|c $39.95
|
| 035 |
|
|
|a (ICU)BID10206343
|
| 035 |
|
|
|a (OCoLC)13095938
|
| 040 |
|
|
|a DLC
|c DLC
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a QA76.6
|b .L5885 1986
|
| 082 |
0 |
|
|a 005.1
|2 19
|
| 245 |
0 |
0 |
|a Logic programming, functions, relations, and equations /
|c [edited by] Doug DeGroot, Gary Lindstrom.
|
| 260 |
0 |
|
|a Englewood Cliffs, N.J. :
|b Prentice-Hall,
|c c1986.
|
| 300 |
|
|
|a vii, 533 p. :
|b ill. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 504 |
|
|
|a Includes bibliographies and index.
|
| 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
|
| 650 |
|
7 |
|a Logic programming.
|2 fast
|0 http://id.worldcat.org/fast/fst01002056
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
| 700 |
1 |
0 |
|a DeGroot, Doug
|0 http://id.loc.gov/authorities/names/n85146957
|1 http://viaf.org/viaf/161576869
|
| 700 |
1 |
0 |
|a Lindstrom, Gary
|0 http://id.loc.gov/authorities/names/n85146958
|1 http://viaf.org/viaf/3908616
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 885188da-27f8-5b2d-9aaf-2da31eae8999
|s 2ababf27-a213-50ed-983f-dec9ba34d1f5
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.6.D435 1986
|l ASR
|c ASR-SciASR
|i 1807038
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.6.D435 1986
|l ASR
|c ASR-SciASR
|e CRERAR
|b 25658593
|i 1945831
|
