Leader
|
|
|
00000cz a2200037n 45 0 |
001
|
|
|
NTA|224289527
(VIAF cluster)
|
003
|
|
|
NTA |
005
|
|
|
20010723075327.9 |
008
|
|
|
010719 ||azznnaabn a aaa d |
035
|
|
|
‡a
(NTA)224289527
|
040
|
|
|
‡a
NL-LeOCL
‡b
dut
‡c
NL-LeOCL
‡e
fobidrtb
|
100
|
1 |
|
‡a
Robinson, Alan
‡q
(J.A.)
|
680
|
|
|
‡a
B0110612: P. 174: J.A. Robinson
|
901
|
|
|
‡a
978044450813
‡9
1
|
901
|
|
|
‡a
978026218221
‡9
1
|
901
|
|
|
‡a
978026218222
‡9
1
|
901
|
|
|
‡a
978026218223
‡9
1
|
901
|
|
|
‡a
978044482949
‡9
1
|
901
|
|
|
‡a
978044450812
‡9
1
|
901
|
|
|
‡a
978019853745
‡9
1
|
901
|
|
|
‡a
978019853746
‡9
1
|
901
|
|
|
‡a
978019853747
‡9
1
|
901
|
|
|
‡a
978019853791
‡9
1
|
910
|
|
|
‡a
handbookofautomatedreasoning
‡A
Handbook of automated reasoning /
‡l
eng
‡9
1
|
910
|
|
|
‡a
handbookoflogicinartificialintelligenceandlogicprogramming
‡A
Handbook of logic in artificial intelligence and logic programming /
‡l
eng
‡9
1
|
920
|
|
|
‡a
978-044
‡9
1
|
920
|
|
|
‡a
978-026
‡9
1
|
920
|
|
|
‡a
978-019
‡9
1
|
921
|
|
|
‡a
elsevier the mit press
‡b
Elsevier;
‡b
The MIT Press,
‡9
1
|
921
|
|
|
‡a
clarendon press
‡b
Clarendon Press,
‡9
1
|
922
|
|
|
‡a
ne
‡b
nl
‡9
1
|
922
|
|
|
‡a
enk
‡b
gb
‡9
1
|
930
|
|
|
‡a
j a robinson
‡c
ed. by Dov M. Gabbay and C.J. Hogger and J.A. Robinson.
‡9
1
|
940
|
|
|
‡a
eng
‡9
2
|
942
|
|
|
‡a
QA
‡9
1
|
942
|
|
|
‡a
QA76.63
‡9
1
|
943
|
|
|
‡a
200x
‡9
1
|
943
|
|
|
‡a
199x
‡9
1
|
944
|
|
|
‡a
am
‡9
2
|
950
|
|
|
‡a
voronkov andrej andrej aleksandrovic
‡A
Voronkov, Andrej
‡q
(Andrej Aleksandrovič),
‡d
1959-
‡9
1
|
950
|
|
|
‡a
gabbay dov m
‡A
Gabbay, Dov M.
‡9
1
|
950
|
|
|
‡a
hogger christopher john
‡A
Hogger, Christopher John.
‡9
1
|
950
|
|
|
‡a
galton anthony
‡A
Galton, Anthony.
‡9
1
|
950
|
|
|
‡a
nute donald
‡A
Nute, Donald.
‡9
1
|
950
|
|
|
‡a
siekmann jorg h
‡A
Siekmann, Jorg H.
‡9
1
|
996
|
|
|
‡2
NLA|000035167240
|
996
|
|
|
‡2
LC|nr 96023706
|
996
|
|
|
‡2
WKP|Q11310811
|
996
|
|
|
‡2
LC|nb2004308015
|
996
|
|
|
‡2
RERO|A012492248
|
996
|
|
|
‡2
J9U|987007267160405171
|
996
|
|
|
‡2
ISNI|0000000038739581
|
996
|
|
|
‡2
JPG|500446110
|
996
|
|
|
‡2
SUDOC|07203128X
|
996
|
|
|
‡2
ISNI|0000000074908979
|
996
|
|
|
‡2
WKP|Q44165169
|
996
|
|
|
‡2
WKP|Q47661328
|
996
|
|
|
‡2
WKP|Q21462159
|
996
|
|
|
‡2
BIBSYS|1707991622812
|
996
|
|
|
‡2
WKP|Q633755
|
996
|
|
|
‡2
BNE|XX1289751
|
996
|
|
|
‡2
BLBNB|000226924
|
996
|
|
|
‡2
WKP|Q6234587
|
996
|
|
|
‡2
SUDOC|079105173
|
996
|
|
|
‡2
WKP|Q5082126
|
996
|
|
|
‡2
LC|n 2005092617
|
996
|
|
|
‡2
ISNI|000000006894800X
|
996
|
|
|
‡2
BIBSYS|90186245
|
996
|
|
|
‡2
WKP|Q86493643
|
996
|
|
|
‡2
ISNI|0000000367709156
|
996
|
|
|
‡2
ISNI|0000000083289241
|
996
|
|
|
‡2
WKP|Q5541773
|
996
|
|
|
‡2
CAOONL|ncf10427576
|
996
|
|
|
‡2
J9U|987007463021205171
|
996
|
|
|
‡2
RERO|A024913762
|
996
|
|
|
‡2
LC|n 82067110
|
996
|
|
|
‡2
WKP|Q75970862
|
996
|
|
|
‡2
WKP|Q6228299
|
996
|
|
|
‡2
WKP|Q64014730
|
996
|
|
|
‡2
LC|n 2021038431
|
996
|
|
|
‡2
BIBSYS|1008744
|
996
|
|
|
‡2
J9U|987007437600005171
|
996
|
|
|
‡2
LC|n 94067416
|
996
|
|
|
‡2
PLWABN|9810669670105606
|
996
|
|
|
‡2
ISNI|0000000078706768
|
996
|
|
|
‡2
WKP|Q76369073
|
996
|
|
|
‡2
DNB|1135804745
|
996
|
|
|
‡2
LC|no2020102805
|
996
|
|
|
‡2
DNB|126844887
|
996
|
|
|
‡2
WKP|Q76108523
|
996
|
|
|
‡2
DNB|136558941
|
996
|
|
|
‡2
LC|no2022116847
|
996
|
|
|
‡2
LC|n 94080113
|
996
|
|
|
‡2
LC|no2001006494
|
996
|
|
|
‡2
J9U|987007425883905171
|
996
|
|
|
‡2
WKP|Q90720845
|
996
|
|
|
‡2
NLA|000036468907
|
996
|
|
|
‡2
LC|no2007075941
|
996
|
|
|
‡2
SUDOC|085639621
|
996
|
|
|
‡2
WKP|Q48144383
|
996
|
|
|
‡2
JPG|500016584
|
996
|
|
|
‡2
BIBSYS|14010323
|
996
|
|
|
‡2
WKP|Q6267598
|
996
|
|
|
‡2
LC|n 77002005
|
996
|
|
|
‡2
WKP|Q82146658
|
996
|
|
|
‡2
NUKAT|n 95213149
|
996
|
|
|
‡2
LC|n 2007056968
|
996
|
|
|
‡2
WKP|Q6267595
|
996
|
|
|
‡2
CAOONL|ncf11214722
|
996
|
|
|
‡2
BNF|12731725
|
996
|
|
|
‡2
LC|n 97022829
|
996
|
|
|
‡2
NLA|000035789962
|
996
|
|
|
‡2
CAOONL|ncf10556040
|
996
|
|
|
‡2
WKP|Q16059917
|
996
|
|
|
‡2
WKP|Q104558312
|
996
|
|
|
‡2
SUDOC|263013022
|
996
|
|
|
‡2
WKP|Q121363047
|
996
|
|
|
‡2
W2Z|98003715
|
996
|
|
|
‡2
NUKAT|n 2018228879
|
996
|
|
|
‡2
SUDOC|119558734
|
996
|
|
|
‡2
LC|n 00139852
|
996
|
|
|
‡2
RERO|A022881004
|
996
|
|
|
‡2
WKP|Q110143614
|
996
|
|
|
‡2
ISNI|0000000025476161
|
996
|
|
|
‡2
WKP|Q89952217
|
996
|
|
|
‡2
J9U|987007367275705171
|
996
|
|
|
‡2
WKP|Q75916592
|
996
|
|
|
‡2
WKP|Q76142534
|
996
|
|
|
‡2
WKP|Q114380939
|
996
|
|
|
‡2
NUKAT|n 2017179121
|
996
|
|
|
‡2
WKP|Q55615232
|
996
|
|
|
‡2
ISNI|000000008224907X
|
996
|
|
|
‡2
BLBNB|000526382
|
996
|
|
|
‡2
NDL|00454408
|
996
|
|
|
‡2
WKP|Q80780616
|
996
|
|
|
‡2
DNB|1122067208
|
996
|
|
|
‡2
WKP|Q63161799
|
996
|
|
|
‡2
NDL|00454404
|
996
|
|
|
‡2
N6I|vtls000031034
|
996
|
|
|
‡2
CAOONL|ncf12117277
|
996
|
|
|
‡2
NDL|00454407
|
996
|
|
|
‡2
ISNI|0000000046971030
|
996
|
|
|
‡2
BNCHL|10000000000000000801389
|
996
|
|
|
‡2
BIBSYS|90058641
|
996
|
|
|
‡2
WKP|Q106642925
|
996
|
|
|
‡2
J9U|987007454822805171
|
996
|
|
|
‡2
N6I|vtls002248957
|
996
|
|
|
‡2
WKP|Q18753463
|
996
|
|
|
‡2
LC|n 92037692
|
996
|
|
|
‡2
LC|n 00105116
|
996
|
|
|
‡2
WKP|Q18358889
|
996
|
|
|
‡2
J9U|987007364608305171
|
996
|
|
|
‡2
JPG|500240247
|
996
|
|
|
‡2
LC|n 85008790
|
996
|
|
|
‡2
DNB|134499492
|
996
|
|
|
‡2
ISNI|0000000360361791
|
996
|
|
|
‡2
WKP|Q76232987
|
996
|
|
|
‡2
RERO|A022821216
|
996
|
|
|
‡2
BIBSYS|98050258
|
996
|
|
|
‡2
WKP|Q75732305
|
996
|
|
|
‡2
WKP|Q4975113
|
996
|
|
|
‡2
J9U|987007331180105171
|
996
|
|
|
‡2
BNF|12701868
|
996
|
|
|
‡2
SUDOC|231958471
|
996
|
|
|
‡2
WKP|Q19325660
|
996
|
|
|
‡2
WKP|Q88679547
|
996
|
|
|
‡2
ISNI|000000006741775X
|
996
|
|
|
‡2
J9U|987007333915705171
|
996
|
|
|
‡2
WKP|Q4975117
|
996
|
|
|
‡2
WKP|Q76036418
|
996
|
|
|
‡2
BNE|XX4976840
|
996
|
|
|
‡2
WKP|Q85906174
|
996
|
|
|
‡2
WKP|Q28485945
|
996
|
|
|
‡2
LC|nb2011029929
|
996
|
|
|
‡2
NDL|00515828
|
996
|
|
|
‡2
ISNI|0000000114428815
|
996
|
|
|
‡2
WKP|Q30122975
|
996
|
|
|
‡2
WKP|Q6174823
|
996
|
|
|
‡2
WKP|Q6174821
|
996
|
|
|
‡2
LC|no2011000651
|
996
|
|
|
‡2
ISNI|0000000053920469
|
996
|
|
|
‡2
NII|DA03606714
|
996
|
|
|
‡2
NII|DA05988906
|
996
|
|
|
‡2
WKP|Q18810864
|
996
|
|
|
‡2
ISNI|0000000050619662
|
996
|
|
|
‡2
DNB|1346010978
|
996
|
|
|
‡2
N6I|vtls000278173
|
996
|
|
|
‡2
WKP|Q125356427
|
996
|
|
|
‡2
SUDOC|155827561
|
996
|
|
|
‡2
LC|n 86804269
|
996
|
|
|
‡2
DNB|1194572642
|
996
|
|
|
‡2
ISNI|0000000070548494
|
996
|
|
|
‡2
ISNI|0000000044577865
|
996
|
|
|
‡2
LC|n 2010063944
|
996
|
|
|
‡2
BNC|981058614959706706
|
996
|
|
|
‡2
LC|n 2011076689
|
996
|
|
|
‡2
B2Q|0000831488
|
996
|
|
|
‡2
LC|no2015061549
|
996
|
|
|
‡2
WKP|Q2346195
|
996
|
|
|
‡2
LC|no2020095719
|
996
|
|
|
‡2
WKP|Q106629101
|
996
|
|
|
‡2
DBC|87097991975300
|
996
|
|
|
‡2
LC|no2001007937
|
996
|
|
|
‡2
LC|nr 96021701
|
996
|
|
|
‡2
BNF|16664255
|
996
|
|
|
‡2
N6I|vtls000286420
|
996
|
|
|
‡2
NUKAT|n 2019223308
|
996
|
|
|
‡2
PLWABN|9810656075905606
|
996
|
|
|
‡2
ISNI|0000000116984217
|
996
|
|
|
‡2
ISNI|0000000032435149
|
996
|
|
|
‡2
CAOONL|ncf11569393
|
996
|
|
|
‡2
WKP|Q75308451
|
996
|
|
|
‡2
LC|n 2011018210
|
996
|
|
|
‡2
NUKAT|n 2006102632
|
996
|
|
|
‡2
WKP|Q25415496
|
996
|
|
|
‡2
WKP|Q17627036
|
996
|
|
|
‡2
WKP|Q17627034
|
996
|
|
|
‡2
ISNI|0000000077189498
|
996
|
|
|
‡2
LC|no2022045213
|
996
|
|
|
‡2
WKP|Q117256846
|
996
|
|
|
‡2
LC|n 96107710
|
996
|
|
|
‡2
DBC|87097991975416
|
996
|
|
|
‡2
BIBSYS|1593520723832
|
996
|
|
|
‡2
SUDOC|060228881
|
996
|
|
|
‡2
ISNI|0000000107824852
|
996
|
|
|
‡2
LC|n 78082709
|
996
|
|
|
‡2
WKP|Q120733554
|
996
|
|
|
‡2
LC|n 89665517
|
996
|
|
|
‡2
LC|nb2017025432
|
996
|
|
|
‡2
DNB|1269132563
|
996
|
|
|
‡2
SUDOC|068942478
|
996
|
|
|
‡2
WKP|Q3951793
|
996
|
|
|
‡2
NLA|000061543789
|
996
|
|
|
‡2
DNB|1146264054
|
996
|
|
|
‡2
WKP|Q124624835
|
996
|
|
|
‡2
LC|n 95087897
|
996
|
|
|
‡2
SUDOC|146534999
|
996
|
|
|
‡2
WKP|Q23894740
|
996
|
|
|
‡2
BNF|15008319
|
996
|
|
|
‡2
WKP|Q98767085
|
996
|
|
|
‡2
LC|n 83210723
|
996
|
|
|
‡2
WKP|Q24005262
|
996
|
|
|
‡2
ISNI|000000010778431X
|
996
|
|
|
‡2
BNF|15007964
|
996
|
|
|
‡2
DNB|188401180
|
996
|
|
|
‡2
LC|no2016097398
|
996
|
|
|
‡2
WKP|Q6144892
|
996
|
|
|
‡2
LNB|LNC10-000076607
|
996
|
|
|
‡2
WKP|Q75254355
|
996
|
|
|
‡2
ISNI|0000000049534450
|
996
|
|
|
‡2
WKP|Q75991617
|
996
|
|
|
‡2
ISNI|0000000076304351
|
996
|
|
|
‡2
LC|nb2009001975
|
996
|
|
|
‡2
BNE|XX1323349
|
996
|
|
|
‡2
NKC|jn20000701518
|
996
|
|
|
‡2
WKP|Q5543959
|
996
|
|
|
‡2
WKP|Q92589609
|
996
|
|
|
‡2
WKP|Q3131721
|
996
|
|
|
‡2
WKP|Q50365700
|
996
|
|
|
‡2
DNB|1212378784
|
996
|
|
|
‡2
ISNI|0000000117423374
|
996
|
|
|
‡2
SUDOC|033619174
|
996
|
|
|
‡2
SUDOC|194604624
|
996
|
|
|
‡2
SUDOC|26786499X
|
996
|
|
|
‡2
LC|no2018094491
|
996
|
|
|
‡2
NII|DA01989703
|
996
|
|
|
‡2
NUKAT|n 2009158185
|
996
|
|
|
‡2
J9U|987007603847005171
|
996
|
|
|
‡2
LC|nb2009021444
|
996
|
|
|
‡2
WKP|Q15999662
|
996
|
|
|
‡2
RERO|A012048179
|
996
|
|
|
‡2
ISNI|0000000447393331
|
996
|
|
|
‡2
LC|nb2023006022
|
996
|
|
|
‡2
WKP|Q6201170
|
996
|
|
|
‡2
WKP|Q6201172
|
996
|
|
|
‡2
WKP|Q12792602
|
996
|
|
|
‡2
PLWABN|9812485001605606
|
996
|
|
|
‡2
ISNI|0000000048693900
|
996
|
|
|
‡2
LC|nr2004032937
|
996
|
|
|
‡2
WKP|Q6106181
|
996
|
|
|
‡2
ISNI|0000000073833127
|
996
|
|
|
‡2
RERO|A009057755
|
996
|
|
|
‡2
LC|n 85803901
|
996
|
|
|
‡2
WKP|Q5543963
|
996
|
|
|
‡2
WKP|Q5543960
|
996
|
|
|
‡2
WKP|Q5543964
|
996
|
|
|
‡2
DNB|126844895
|
996
|
|
|
‡2
WKP|Q76108083
|
996
|
|
|
‡2
WKP|Q116985657
|
996
|
|
|
‡2
WKP|Q26455751
|
996
|
|
|
‡2
WKP|Q108052656
|
996
|
|
|
‡2
NUKAT|n 97026817
|
996
|
|
|
‡2
ISNI|0000000052472377
|
996
|
|
|
‡2
LC|nr 93009164
|
996
|
|
|
‡2
DBC|87097947861276
|
997
|
|
|
‡a
0 0 lived 0 0
‡9
1
|
998
|
|
|
‡a
Robinson, John A.
‡2
DNB|124196306
‡3
exact title: (1.00, 'handbookoflogicinartificialintelligenceandlogicprogramming', 'handbookoflogicinartificialintelligenceandlogicprogramming')
|
998
|
|
|
‡a
Robinson, J. A.
‡2
BIBSYS|90199182
‡3
viafid
|
998
|
|
|
‡a
Robinson, John Alan
‡2
SUDOC|069337721
‡3
standard number
|
998
|
|
|
‡a
Robinson, Alan
‡q
(John Alan)
‡2
LNB|LNC10-000095583
‡3
standard number
|
998
|
|
|
‡a
Robinson, John Alan
‡2
NUKAT|n 96301114
‡3
viafid
‡3
standard number
|
998
|
|
|
‡a
Robinson
‡b
John Alan
‡c
informaticien
‡2
BNF|14506356
‡3
exact title: (1.00, 'handbookoflogicinartificialintelligenceandlogicprogramming', 'handbookoflogicinartificialintelligenceandlogicprogramming')
|
998
|
|
|
‡a
Robinson, J. A.,
‡2
SUDOC|264452585
‡3
standard number
|
998
|
|
|
‡a
Robinson, John A.
‡2
ISNI|0000000435086828
‡3
joint author: (1.00, 'hogger christopher john', 'hogger christopher john')
|
998
|
|
|
‡a
Robinson, John Alan
‡c
informaticien
‡2
ISNI|0000000435086828
‡3
joint author: (1.00, 'hogger christopher john', 'hogger christopher john')
|
998
|
|
|
‡a
Robinson, J. A.
‡2
ISNI|0000000435086828
‡3
joint author: (1.00, 'hogger christopher john', 'hogger christopher john')
|
998
|
|
|
‡a
Robinson
‡b
John Alan
‡2
BNF|12367215
‡3
standard number
|
998
|
|
|
‡a
Robinson, J. A.
‡q
(John Alan)
‡2
LC|n 79050611
‡3
standard number
|
998
|
|
|
‡a
Robinson, John Alan
‡2
NSK|000345103
‡3
standard number
|
998
|
|
|
‡a
John Alan Robinson
‡c
British-American mathematician (1930-2016)
‡2
WKP|Q327981
‡3
suggested
|
999
|
|
|
‡2
NTABIB|784201541
|
999
|
|
|
‡2
NTABIB|905789546
|