VIAF

Virtual International Authority File

Search

Leader 00000nz a2200037n 45 0
001 WKP|Q130855242 (VIAF cluster) (Authority/Source Record)
003 WKP
005 20241121000150.0
008 241121nneanz||abbn n and d
035 ‎‡a (WKP)Q130855242‏
024 ‎‡a 0000-0002-3766-5204‏ ‎‡2 orcid‏
035 ‎‡a (OCoLC)Q130855242‏
100 0 ‎‡a Keith J.C. Johnson‏ ‎‡9 en‏
670 ‎‡a Author's Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics‏
909 ‎‡a (orcid) 0000000237665204‏ ‎‡9 1‏
919 ‎‡a automatingpruningintopdownenumerationforprogramsynthesisproblemswithmonotonicsemantics‏ ‎‡A Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics‏ ‎‡9 1‏
996 ‎‡2 ISNI|0000000115292921‏
996 ‎‡2 SUDOC|029102405‏
996 ‎‡2 DNB|173571441‏
996 ‎‡2 LC|n 2002040996‏
996 ‎‡2 DNB|1018140921‏
996 ‎‡2 NUKAT|n 98031421‏
996 ‎‡2 LC|n 92111229‏
996 ‎‡2 NDL|00444783‏
996 ‎‡2 NII|DA15201924‏
996 ‎‡2 BIBSYS|90667434‏
996 ‎‡2 DNB|133168689‏
996 ‎‡2 LC|n 50039838‏
996 ‎‡2 J9U|987007374408005171‏
996 ‎‡2 BNC|981058521020506706‏
996 ‎‡2 J9U|987007376920705171‏
996 ‎‡2 SELIBR|378070‏
996 ‎‡2 ISNI|0000000040074742‏
996 ‎‡2 NTA|074248197‏
996 ‎‡2 LC|no2014010839‏
996 ‎‡2 ISNI|0000000080839156‏
996 ‎‡2 LC|n 87883307‏
996 ‎‡2 NUKAT|n 2016140683‏
996 ‎‡2 NLA|000035442030‏
996 ‎‡2 BIBSYS|90209047‏
996 ‎‡2 LNB|LNC10-000121128‏
996 ‎‡2 NTA|144515180‏
996 ‎‡2 SIMACOB|82213987‏
996 ‎‡2 J9U|987007436196605171‏
996 ‎‡2 J9U|987007966885405171‏
996 ‎‡2 ISNI|0000000024710593‏
996 ‎‡2 NUKAT|n 2004251373‏
996 ‎‡2 LC|no2006018946‏
996 ‎‡2 BIBSYS|90740004‏
996 ‎‡2 J9U|987007342331305171‏
996 ‎‡2 NTA|131629654‏
996 ‎‡2 LC|n 00145298‏
996 ‎‡2 RERO|A003427840‏
996 ‎‡2 NTA|069008736‏
996 ‎‡2 LC|n 79080468‏
996 ‎‡2 N6I|vtls000093819‏
996 ‎‡2 LNB|LNC10-000121124‏
996 ‎‡2 DBC|87097991130548‏
996 ‎‡2 J9U|987007446157405171‏
996 ‎‡2 LC|no2008181118‏
996 ‎‡2 BNF|17014768‏
996 ‎‡2 NLA|000035249200‏
996 ‎‡2 ISNI|0000000035295516‏
996 ‎‡2 DNB|133268608‏
996 ‎‡2 LC|n 81016377‏
996 ‎‡2 LC|n 80007661‏
996 ‎‡2 ISNI|0000000035851420‏
996 ‎‡2 BNF|17891816‏
996 ‎‡2 LC|n 85246792‏
996 ‎‡2 BNF|11908900‏
996 ‎‡2 NII|DA07493904‏
996 ‎‡2 NKC|utb2012701625‏
996 ‎‡2 SUDOC|243258054‏
996 ‎‡2 KRNLK|KAC200702943‏
996 ‎‡2 SUDOC|123245788‏
996 ‎‡2 NII|DA08247991‏
996 ‎‡2 ISNI|0000000080195223‏
996 ‎‡2 LC|nb2006001990‏
996 ‎‡2 LC|n 2005080727‏
996 ‎‡2 SUDOC|257252657‏
996 ‎‡2 LC|nb2006021664‏
996 ‎‡2 CAOONL|ncf11212220‏
996 ‎‡2 NTA|132127792‏
996 ‎‡2 LC|n 98901688‏
996 ‎‡2 LC|n 85275809‏
996 ‎‡2 ISNI|0000000040880955‏
996 ‎‡2 ISNI|0000000043315468‏
996 ‎‡2 NII|DA05766303‏
996 ‎‡2 ISNI|0000000122144433‏
996 ‎‡2 NKC|jo2013757965‏
996 ‎‡2 CAOONL|ncf11296959‏
996 ‎‡2 NUKAT|n 2004022830‏
996 ‎‡2 J9U|987007317144205171‏
996 ‎‡2 LC|n 00036631‏
996 ‎‡2 BIBSYS|3047376‏
996 ‎‡2 ISNI|0000000393571410‏
996 ‎‡2 ISNI|0000000047492605‏
996 ‎‡2 LC|no 95049291‏
996 ‎‡2 NTA|325845697‏
996 ‎‡2 ISNI|0000000034546176‏
996 ‎‡2 NII|DA08101511‏
996 ‎‡2 DNB|1165151731‏
996 ‎‡2 BIBSYS|12007263‏
996 ‎‡2 ISNI|0000000044888671‏
996 ‎‡2 CAOONL|ncf11329620‏
996 ‎‡2 ISNI|0000000082553602‏
996 ‎‡2 NTA|069365792‏
996 ‎‡2 DNB|1050315766‏
996 ‎‡2 SUDOC|203111907‏
996 ‎‡2 BIBSYS|90169262‏
996 ‎‡2 NII|DA08052937‏
996 ‎‡2 LC|n 2011009043‏
996 ‎‡2 BNC|981058611771506706‏
996 ‎‡2 BNF|12079833‏
996 ‎‡2 LIH|LNB:BZ8T;=BU‏
996 ‎‡2 SIMACOB|137849443‏
996 ‎‡2 NKC|jo2018998652‏
996 ‎‡2 NTA|070562040‏
996 ‎‡2 BNF|11515839‏
996 ‎‡2 BNF|15125225‏
996 ‎‡2 LC|no2004055915‏
996 ‎‡2 LC|no2023141201‏
996 ‎‡2 CAOONL|ncf10113681‏
996 ‎‡2 ISNI|0000000035776061‏
996 ‎‡2 SUDOC|179244965‏
996 ‎‡2 ISNI|0000000030927377‏
996 ‎‡2 ISNI|0000000067096992‏
996 ‎‡2 SUDOC|279586477‏
996 ‎‡2 LC|n 2023043512‏
996 ‎‡2 LC|n 2012010482‏
996 ‎‡2 ISNI|0000000447091835‏
996 ‎‡2 BIBSYS|4021104‏
996 ‎‡2 ISNI|000000004283176X‏
996 ‎‡2 LC|n 80161078‏
996 ‎‡2 LC|no2018022292‏
996 ‎‡2 RERO|A022514844‏
996 ‎‡2 J9U|987007429801405171‏
996 ‎‡2 LIH|LNB:B_j__i__c_;=CC‏
996 ‎‡2 LC|n 94089953‏
996 ‎‡2 LC|nb2010016863‏
996 ‎‡2 NLB|18583704‏
996 ‎‡2 LC|n 2004044021‏
996 ‎‡2 CAOONL|ncf10466840‏
996 ‎‡2 ISNI|0000000041760701‏
996 ‎‡2 SUDOC|183726952‏
996 ‎‡2 DNB|1052549012‏
996 ‎‡2 LC|n 93080402‏
996 ‎‡2 LC|n 96042620‏
996 ‎‡2 LC|no2020150176‏
996 ‎‡2 BIBSYS|90096682‏
996 ‎‡2 NTA|345708261‏
996 ‎‡2 CAOONL|ncf10650094‏
996 ‎‡2 LC|no2008081377‏
996 ‎‡2 ISNI|0000000024899103‏
996 ‎‡2 SUDOC|227137566‏
996 ‎‡2 LC|n 2017040991‏
996 ‎‡2 ISNI|0000000025211083‏
996 ‎‡2 NTA|15754639X‏
996 ‎‡2 LC|n 88156439‏
996 ‎‡2 ISNI|0000000063971585‏
996 ‎‡2 SUDOC|266266711‏
996 ‎‡2 LC|nr 00031235‏
996 ‎‡2 DNB|1309681848‏
996 ‎‡2 LC|n 82021989‏
996 ‎‡2 BNF|15963170‏
996 ‎‡2 NSK|000354180‏
996 ‎‡2 LC|n 88649704‏
996 ‎‡2 LC|no2015093204‏
996 ‎‡2 ISNI|0000000040800054‏
996 ‎‡2 BIBSYS|99067813‏
996 ‎‡2 SUDOC|080406181‏
996 ‎‡2 BIBSYS|51690‏
996 ‎‡2 CAOONL|ncf13731924‏
996 ‎‡2 LC|n 2006038864‏
996 ‎‡2 NUKAT|n 2012166228‏
996 ‎‡2 SUDOC|026939169‏
996 ‎‡2 ISNI|0000000507173251‏
996 ‎‡2 ERRR|12522417‏
996 ‎‡2 LC|no2001057677‏
996 ‎‡2 LC|no2010163970‏
996 ‎‡2 LC|nb2007026301‏
996 ‎‡2 N6I|vtls002647495‏
996 ‎‡2 J9U|987007389982605171‏
996 ‎‡2 ISNI|0000000035510941‏
996 ‎‡2 ISNI|0000000050545325‏
996 ‎‡2 RERO|A010968051‏
996 ‎‡2 LC|n 98800814‏
996 ‎‡2 ISNI|000000005052994X‏
996 ‎‡2 ISNI|0000000395058784‏
996 ‎‡2 ISNI|0000000037830105‏
996 ‎‡2 ISNI|0000000471448435‏
996 ‎‡2 ISNI|0000000083041895‏
996 ‎‡2 LNB|LNC10-000120505‏
996 ‎‡2 PLWABN|9813273792905606‏
996 ‎‡2 CAOONL|ncf10991448‏
996 ‎‡2 LNB|LNC10-000120501‏
996 ‎‡2 ISNI|0000000037875688‏
996 ‎‡2 ISNI|0000000110604009‏
996 ‎‡2 BIBSYS|51687‏
996 ‎‡2 SUDOC|181160978‏
996 ‎‡2 RERO|A005812625‏
996 ‎‡2 J9U|987007381732105171‏
996 ‎‡2 J9U|987012798303005171‏
996 ‎‡2 SUDOC|120685663‏
996 ‎‡2 LC|no 98021891‏
996 ‎‡2 PLWABN|9814006620005606‏
996 ‎‡2 DNB|133268624‏
996 ‎‡2 BNF|17771323‏
996 ‎‡2 ISNI|0000000110077544‏
996 ‎‡2 NII|DA00671425‏
996 ‎‡2 LC|nb2019010868‏
996 ‎‡2 LC|n 2003098856‏
996 ‎‡2 LNB|LNC10-000278049‏
996 ‎‡2 NII|DA10368773‏
996 ‎‡2 SUDOC|187922632‏
996 ‎‡2 ISNI|0000000043366046‏
996 ‎‡2 NKC|mzk2005312737‏
996 ‎‡2 SZ|1018140921‏
996 ‎‡2 J9U|987007440071405171‏
996 ‎‡2 ISNI|0000000027209673‏
996 ‎‡2 ISNI|0000000086108645‏
996 ‎‡2 LC|n 80126185‏
996 ‎‡2 LNB|LNC10-000135100‏
996 ‎‡2 LC|nb2007025672‏
996 ‎‡2 ISNI|0000000047704057‏
996 ‎‡2 LC|n 2007045285‏
996 ‎‡2 ISNI|0000000067702059‏
996 ‎‡2 DBC|87097919323951‏
996 ‎‡2 NYNYRILM|116833‏
996 ‎‡2 RERO|A012485318‏
997 ‎‡a 0 0 lived 0 0‏ ‎‡9 1‏