LDR | |
00902nam a2200265 a 4500 |
001 |
|
002938641 |
003 |
|
MiAaHDL |
005 |
|
20210817000000.0 |
006 |
|
m d |
007 |
|
cr bn ---auaua |
008 |
|
950327s1994 nyu b 000 0 eng |
010 |
⊔ |
⊔ |
‡a94039746
|
015 |
⊔ |
⊔ |
‡aGB95-6413
|
020 |
⊔ |
⊔ |
‡a0198538537
|
035 |
⊔ |
⊔ |
‡a(MiU)990029386410106381
|
035 |
⊔ |
⊔ |
‡asdr-miu.990029386410106381
|
035 |
⊔ |
⊔ |
‡a(OCoLC)31375407
|
035 |
⊔ |
⊔ |
‡z(MiU)Aleph002938641
|
040 |
⊔ |
⊔ |
‡aDLC
‡cDLC
‡dUKM
‡dEYM
|
050 |
0 |
0 |
‡aQA76.63
‡b.A29 1994
|
082 |
0 |
0 |
‡a005.13
‡220
|
245 |
0 |
0 |
‡aAdvances in logic programming theory /
‡cedited by Giorgio Levi.
|
260 |
⊔ |
⊔ |
‡aOxford :
‡bClarendon Press ;
‡aOxford ;
‡aNew York :
‡bOxford University Press,
‡c1994.
|
300 |
⊔ |
⊔ |
‡axiv, 254 p. ;
‡c24 cm.
|
490 |
0 |
⊔ |
‡aInternational schools for computer scientists
|
504 |
⊔ |
⊔ |
‡aIncludes bibliographical references.
|
538 |
⊔ |
⊔ |
‡aMode of access: Internet.
|
650 |
⊔ |
0 |
‡aLogic programming.
|
700 |
1 |
⊔ |
‡aLevi, G.
‡q(Giorgio),
‡d1942-
|
CID |
⊔ |
⊔ |
‡a002938641
|
DAT |
0 |
⊔ |
‡a19950327000000.0
‡b20210817000000.0
|
DAT |
1 |
⊔ |
‡a20210923183841.0
‡b2024-06-06T17:50:07Z
|
DAT |
2 |
⊔ |
‡a2024-06-06T17:30:02Z
|
CAT |
⊔ |
⊔ |
‡aSDR-MIU
‡dALMA
‡lprepare.pl-004-008
|
FMT |
⊔ |
⊔ |
‡aBK
|
HOL |
⊔ |
⊔ |
‡0sdr-miu.990029386410106381
‡aMiU
‡bSDR
‡cMIU
‡pmdp.39015032311154
‡sMIU
‡1990029386410106381
|
974 |
⊔ |
⊔ |
‡bMIU
‡cMIU
‡d20240606
‡sgoogle
‡umdp.39015032311154
‡y1994
‡ric
‡qbib
‡tUS bib date1 >= 1929
|