search
Việt
Hán Việt
Gốc
Dichtienghoa.com không chịu trách nhiệm cho nội dung bên dưới
search
V
HV
G
Dichtienghoa.com không chịu trách nhiệm cho nội dung bên dưới
VIAF
Virtual International Authority File
Search
Select Field:
All Fields
All Headings
Corporate Names
Geographic Names
Personal Names
Works
Expressions
Preferred Headings
Exact Heading
Bibliographic Titles
Select Index:
All VIAF
Argentina
Australia
Belgium (Flemish)
Brazil
Canada
Catalunya
Chile
Croatia
Czech
Denmark (DBC)
Egypt
Estonia
FAST
France (BnF)
France (Sudoc)
Germany
Getty (ULAN)
Greece
Hispánica
Hungary
Iceland
Ireland
ISNI
Israel
Italy
Japan (NDL)
Japan (NII)
Korea
Latvia
Lebanon
LC (NACO)
Lithuania
Luxembourg
Morocco
Netherlands
Norway (BIBSYS)
Norway (National Library)
Iceland
Perseus
Poland (National Library)
Poland (NUKAT)
Portugal
Québec
RILM
RISM
Russia
Singapore
Slovakia
Slovenia
Spain
Sweden
Swiss (National Library)
Swiss (RERO)
Syriac
Taiwan
United Arab Emirates
Vatican
Wikipedia
xA
xR
Search Terms:
Leader
00000nz a2200037n 45 0
001
WKP|Q130803063
(VIAF cluster)
(Authority/Source Record)
003
WKP
005
20241121000117.0
008
241121nneanz||abbn n and d
035
‡a (WKP)Q130803063
024
‡a 0000-0003-0427-4503 ‡2 orcid
035
‡a (OCoLC)Q130803063
100
0
‡a Francisco Ribeiro ‡9 en
670
‡a Author's Large Language Models in Automated Repair of Haskell Type Errors
909
‡a (orcid) 0000000304274503 ‡9 1
919
‡a largelanguagemodelsinautomatedrepairofhaskelltypeerrors ‡A Large Language Models in Automated Repair of Haskell Type Errors ‡9 1
996
‡2
NII|DA11569034
996
‡2
PTBNP|1166704
996
‡2
LC|n 85180040
996
‡2
DNB|141235012
996
‡2
PTBNP|1333953
996
‡2
DNB|1157246230
996
‡2
PTBNP|1395119
996
‡2
BLBNB|000576640
996
‡2
ISNI|0000000067693164
996
‡2
BLBNB|000273490
996
‡2
LC|n 2010058984
996
‡2
LC|no2016095868
996
‡2
LC|n 90655859
996
‡2
PTBNP|1160523
996
‡2
SUDOC|272840289
996
‡2
LC|n 2021027506
996
‡2
LC|n 83132127
996
‡2
BLBNB|000303233
996
‡2
ISNI|0000000034665175
996
‡2
DNB|1223158527
996
‡2
ISNI|0000000069890559
996
‡2
BLBNB|000396262
996
‡2
NII|DA14577607
996
‡2
PTBNP|1849709
996
‡2
PTBNP|60677
996
‡2
PLWABN|9810656926605606
996
‡2
DNB|124501087
996
‡2
PTBNP|107035
996
‡2
PTBNP|107036
996
‡2
LC|ns2015003965
996
‡2
LC|n 86121238
996
‡2
DNB|1329548582
996
‡2
PTBNP|222462
996
‡2
LC|n 95051920
996
‡2
DNB|111215616X
996
‡2
BNF|17069962
996
‡2
DNB|1057287687
996
‡2
BLBNB|000275210
996
‡2
LC|n 93084340
996
‡2
PTBNP|1462162
996
‡2
ISNI|0000000029613565
996
‡2
ISNI|000000036843510X
996
‡2
BLBNB|000528786
996
‡2
BLBNB|000575028
996
‡2
ISNI|0000000051284948
996
‡2
ISNI|0000000070121300
996
‡2
BLBNB|000208657
996
‡2
ISNI|0000000373513264
996
‡2
PTBNP|107026
996
‡2
BLBNB|001503481
996
‡2
ISNI|0000000023356393
996
‡2
PTBNP|240591
996
‡2
LC|nb2005002080
996
‡2
ISNI|0000000095219670
996
‡2
BNE|XX4997628
996
‡2
PTBNP|1210315
996
‡2
BLBNB|000291420
996
‡2
PTBNP|1204150
996
‡2
J9U|987007280998505171
996
‡2
ISNI|0000000068197330
996
‡2
BLBNB|001461834
996
‡2
ISNI|0000000031422717
996
‡2
LC|n 2016257093
996
‡2
BLBNB|000203046
996
‡2
PTBNP|1901947
996
‡2
ISNI|0000000036992428
996
‡2
PTBNP|1829772
996
‡2
BLBNB|001126895
996
‡2
ISNI|0000000069321858
996
‡2
ISNI|0000000069100756
996
‡2
PTBNP|1646988
996
‡2
BLBNB|000305299
996
‡2
SUDOC|279734662
996
‡2
LC|no2023123148
996
‡2
DNB|1237268435
996
‡2
DNB|142475637
996
‡2
PTBNP|1329981
996
‡2
BLBNB|000281244
996
‡2
ISNI|0000000095837575
996
‡2
DE633|pe30033467
996
‡2
DNB|1074663616
996
‡2
PTBNP|1934146
996
‡2
BNE|XX4714035
996
‡2
ISNI|000000007796233X
996
‡2
SUDOC|259895628
996
‡2
DNB|1074663713
996
‡2
LC|n 97115238
996
‡2
ISNI|000000006767211X
996
‡2
ISNI|0000000069795391
996
‡2
BLBNB|000282611
996
‡2
LC|no2022069379
996
‡2
PTBNP|1791021
996
‡2
BLBNB|000332398
996
‡2
DNB|1057515418
996
‡2
DNB|1128850877
996
‡2
BLBNB|001586925
996
‡2
ISNI|0000000082473637
996
‡2
PTBNP|1384375
996
‡2
BLBNB|001435409
996
‡2
ISNI|0000000032020197
996
‡2
BLBNB|000437077
996
‡2
DNB|1057636835
996
‡2
LC|no2017121003
996
‡2
ISNI|0000000040718077
996
‡2
LC|n 2006219295
996
‡2
BLBNB|001500601
996
‡2
PTBNP|150610
996
‡2
PTBNP|235461
996
‡2
PTBNP|1912828
996
‡2
BLBNB|000163306
996
‡2
DNB|1172221332
996
‡2
BNE|XX866585
996
‡2
ISNI|000000037358250X
996
‡2
BLBNB|000332400
996
‡2
ISNI|0000000045900302
996
‡2
NSK|000607075
996
‡2
BLBNB|000577495
996
‡2
PTBNP|719676
996
‡2
NUKAT|n 2016236136
996
‡2
LC|no2003100174
996
‡2
LC|no2018106832
996
‡2
LC|n 2007214350
996
‡2
BLBNB|000323315
996
‡2
DNB|1223158470
996
‡2
BLBNB|000340621
996
‡2
ISNI|0000000495730048
996
‡2
PTBNP|226280
996
‡2
BLBNB|000299080
996
‡2
BAV|495_390053
996
‡2
PTBNP|184300
996
‡2
BLBNB|001530052
996
‡2
BLBNB|000353002
996
‡2
ISNI|000000007080323X
996
‡2
LC|nr 92036332
996
‡2
BLBNB|000990751
996
‡2
PTBNP|1906609
996
‡2
LC|no2008180530
996
‡2
ISNI|0000000069008845
996
‡2
PTBNP|1658243
996
‡2
LC|n 2018250568
996
‡2
BLBNB|000272458
996
‡2
PTBNP|107039
997
‡a 0 0 lived 0 0 ‡9 1
998
‡a Ribeiro, Francisco ‡2 ISNI|0000000095837575 ‡3 exact name
998
‡a Ribeiro, Francisco ‡2 ISNI|0000000095837575 ‡3 exact name
998
‡a Francisco Ribeiro ‡2 ISNI|0000000095837575 ‡3 exact name