|
|
|
|
| LEADER |
00000nam a2200000Ia 4500 |
| 001 |
b1626035 |
| 005 |
20240627094110.0 |
| 008 |
971106t19971997enka b 001 0 eng d |
| 020 |
|
|
|a 189893102X
|
| 035 |
|
|
|a (OCoLC)37900274
|
| 040 |
|
|
|a AZS
|c AZS
|d UtOrBLW
|
| 049 |
|
|
|a STAM
|
| 090 |
|
|
|a QA76.63
|b .Y37 1997
|
| 100 |
1 |
|
|a Yasdi, Ramin.
|0 http://id.loc.gov/authorities/names/nb97044913
|
| 245 |
1 |
0 |
|a Logic and programmin in logic /
|c Ramin Yasdi ; translated by Chris Bowerman.
|
| 264 |
|
1 |
|a Hove, East Sussex :
|b Intermediate,
|c [1997]
|
| 264 |
|
4 |
|c ©1997
|
| 300 |
|
|
|a 279 pages :
|b illustrations ;
|c 23 cm
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references (pages 274-276) and index.
|
| 583 |
1 |
|
|a Committed to retain
|c 20220701
|d 20320731
|f SCELC Shared Print
|u https://scelc.org/libraries/shared-print
|z retain for SCELC
|
| 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 |
|
0 |
|a Prolog (Computer program language)
|0 http://id.loc.gov/authorities/subjects/sh85107397
|
| 650 |
|
7 |
|a Logic programming.
|2 fast
|0 (OCoLC)fst01002056
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 (OCoLC)fst01002068
|
| 650 |
|
7 |
|a Prolog (Computer program language)
|2 fast
|0 (OCoLC)fst01078876
|
| 907 |
|
|
|a .b16260351
|b 240629
|c 980112
|
| 918 |
|
|
|a .bckstg
|b 2016-12-01
|
| 998 |
|
|
|a umn
|b 980407
|c m
|d a
|e -
|f eng
|g enk
|h 0
|
| 999 |
f |
f |
|i e7383223-36f4-53ca-9199-5c08d7aa0957
|s 42de3275-0de9-5208-bfc3-11bee991d2c0
|t 0
|
| 952 |
f |
f |
|p Circulating
|a Santa Clara University
|b Santa Clara Main Campus
|c University Library
|d University Library ARS Main Stacks
|t 0
|e QA76.63 .Y37 1997
|h Library of Congress classification
|i book
|m 35098104049294
|n c.1
|