|
|
|
|
| LEADER |
01450nam a2200349 a 4500 |
| 001 |
c000181917 |
| 003 |
CARM |
| 005 |
20050330133820.0 |
| 008 |
030520s1996 enka b 001 0 eng |
| 010 |
|
|
|a 96012490
|
| 015 |
|
|
|a GBA3-37825
|
| 019 |
1 |
|
|a 23955245
|z 12241533
|5 LACONCORD2021
|
| 020 |
|
|
|a 0444816445 (cased) :
|c £260.00
|
| 035 |
|
|
|a (OCoLC)34411226
|5 LACONCORD2021
|
| 040 |
|
|
|a DLC
|b eng
|c DLC
|d Uk
|d TOC
|
| 050 |
0 |
0 |
|a QA76.63
|b .M473 1996
|
| 082 |
0 |
0 |
|a 005.13/1
|2 20
|
| 082 |
0 |
4 |
|a 005.131
|2 20
|
| 100 |
1 |
|
|a Metakides, George,
|d 1945-
|
| 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 Oxford :
|b Elsevier,
|c 1996.
|
| 300 |
|
|
|a xiii, 329 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Studies in computer science and artificial intelligence ;
|v 13
|
| 504 |
|
|
|a Includes bibliographical references (p. 311-317) and indexes.
|
| 505 |
0 |
|
|a Ch. I. Propositional Logic -- Ch. II. Predicate Logic -- Ch. III. Logic Programming: The PROLOG Paradigm.
|
| 650 |
|
0 |
|a Logic programming.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 700 |
1 |
|
|a Nerode, Anil,
|d 1932-
|
| 700 |
1 |
|
|a Sinachopoulos, A.
|q (Aneta)
|
| 852 |
8 |
|
|b CARM
|h A2:AK38C0
|i C06426
|p 0246841
|f BK
|
| 999 |
f |
f |
|i 6c7bdf45-7928-5faf-9b22-66d7d0136842
|s 816f6420-273a-5302-8abf-a6c48f172af2
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C06426
|f A2:AK38C0
|h Other scheme
|i book
|m 0246841
|