VIAF

Virtual International Authority File

Search

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‏