VIAF

Virtual International Authority File

Search

Leader 00000nz a2200037n 45 0
001 NKC|stk2008428876 (VIAF cluster)
003 NKC
005 20091016112045.0
008 080102|n|acnnnaabn n a|a
035 ‎‡a (NKC)stk2008428876‏
040 ‎‡a ABA013‏ ‎‡b cze‏
046 ‎‡f 1967‏
100 1 ‎‡a Schneider, Klaus,‏ ‎‡d 1967-‏ ‎‡7 stk2008428876‏
670 ‎‡a Schneider, K. - Brandt, J.: Theorem proving in higher order logics‏
670 ‎‡a DNB‏ ‎‡b autoritní forma, biografické údaje‏
670 ‎‡a www(University of Kaiserslautern)‏
678 0 ‎‡a Německý odborník v oblasti programování.‏
856 4 2 ‎‡u http://es.informatik.uni-kl.de/people/schneider/‏ ‎‡4 N‏
996 ‎‡2 BNF|13617233‏
996 ‎‡2 NTA|067557694‏
996 ‎‡2 DNB|1064196004‏
996 ‎‡2 DNB|1073357880‏
996 ‎‡2 DNB|1047650096‏
996 ‎‡2 DNB|128312661‏
996 ‎‡2 LC|n 81145673‏
996 ‎‡2 DNB|1027162541‏
996 ‎‡2 LC|n 85246663‏
996 ‎‡2 ISNI|000000050743743X‏
996 ‎‡2 NII|DA14582265‏
996 ‎‡2 NII|DA13838705‏
996 ‎‡2 NII|DA07407899‏
996 ‎‡2 RERO|A017008162‏
996 ‎‡2 NUKAT|n 2004019713‏
996 ‎‡2 BNF|14135834‏
996 ‎‡2 ISNI|0000000409660697‏
996 ‎‡2 NUKAT|n 2010091232‏
996 ‎‡2 DBC|87097947990068‏
996 ‎‡2 LC|n 79033655‏
996 ‎‡2 LC|n 2010007470‏
996 ‎‡2 DNB|133193489‏
996 ‎‡2 RERO|A003803250‏
996 ‎‡2 BNF|12179086‏
996 ‎‡2 J9U|987012502708805171‏
996 ‎‡2 PLWABN|9810662958005606‏
996 ‎‡2 ISNI|0000000381916717‏
996 ‎‡2 DNB|1267947322‏
996 ‎‡2 NUKAT|n 2015168101‏
996 ‎‡2 RERO|A003803380‏
996 ‎‡2 LC|n 92114925‏
996 ‎‡2 N6I|vtls000322283‏
996 ‎‡2 RERO|A003803385‏
996 ‎‡2 RERO|A012311540‏
996 ‎‡2 BIBSYS|90888590‏
996 ‎‡2 ISNI|0000000024214872‏
996 ‎‡2 SUDOC|262645955‏
996 ‎‡2 SUDOC|089817524‏
996 ‎‡2 DNB|142563153‏
996 ‎‡2 BNF|15694555‏
996 ‎‡2 NTA|151504849‏
996 ‎‡2 NTA|070906793‏
996 ‎‡2 DNB|133207536‏
996 ‎‡2 ISNI|0000000355982710‏
996 ‎‡2 RERO|A012457712‏
996 ‎‡2 DNB|1108593704‏
996 ‎‡2 RERO|A003803276‏
996 ‎‡2 RERO|A003803274‏
996 ‎‡2 RERO|A003803275‏
996 ‎‡2 RERO|A003803612‏
996 ‎‡2 RERO|A012340252‏
996 ‎‡2 LC|n 90726959‏
996 ‎‡2 NII|DA12769378‏
996 ‎‡2 SUDOC|067228615‏
996 ‎‡2 ISNI|0000000117553267‏
996 ‎‡2 DNB|1163972746‏
996 ‎‡2 RERO|A003802862‏
996 ‎‡2 BIBSYS|98053282‏
996 ‎‡2 NTA|285636928‏
996 ‎‡2 ISNI|0000000022044398‏
996 ‎‡2 NTA|388651679‏
996 ‎‡2 DNB|1305702123‏
996 ‎‡2 RERO|A003802903‏
996 ‎‡2 RERO|A003802902‏
996 ‎‡2 PLWABN|9810606862005606‏
996 ‎‡2 LC|no2016050962‏
996 ‎‡2 SUDOC|198227116‏
996 ‎‡2 SUDOC|077038053‏
996 ‎‡2 DNB|115706429‏
996 ‎‡2 ISNI|0000000117261619‏
996 ‎‡2 DNB|17239855X‏
996 ‎‡2 J9U|987007314987705171‏
996 ‎‡2 WKP|Q88144488‏
996 ‎‡2 NSK|000745783‏
996 ‎‡2 WKP|Q104639071‏
996 ‎‡2 DNB|133212904‏
996 ‎‡2 DNB|171806697‏
996 ‎‡2 RERO|A016871352‏
996 ‎‡2 NUKAT|n 2013186723‏
996 ‎‡2 ISNI|0000000001662381‏
996 ‎‡2 RERO|A006130321‏
996 ‎‡2 DNB|1060088037‏
996 ‎‡2 BIBSYS|90956444‏
996 ‎‡2 DNB|121786633‏
996 ‎‡2 RERO|A003803606‏
996 ‎‡2 J9U|987007434122805171‏
996 ‎‡2 NUKAT|n 2020205446‏
996 ‎‡2 RERO|A014111131‏
996 ‎‡2 LC|nb2003094258‏
996 ‎‡2 LC|n 80163402‏
996 ‎‡2 DNB|138904383‏
996 ‎‡2 DE633|pe197364‏
996 ‎‡2 ISNI|0000000110600980‏
996 ‎‡2 NTA|261608304‏
996 ‎‡2 ISNI|000000004981580X‏
996 ‎‡2 SUDOC|108535134‏
996 ‎‡2 DE633|pe30105377‏
996 ‎‡2 DNB|115830006‏
996 ‎‡2 LC|n 2004151059‏
996 ‎‡2 DNB|1157541054‏
996 ‎‡2 DNB|1073226220‏
996 ‎‡2 NTA|072282800‏
996 ‎‡2 BNF|15026423‏
996 ‎‡2 SUDOC|069755124‏
996 ‎‡2 BIBSYS|4044052‏
996 ‎‡2 ISNI|0000000116560035‏
996 ‎‡2 DNB|1052718817‏
996 ‎‡2 SUDOC|132426994‏
996 ‎‡2 BIBSYS|1512647515011‏
996 ‎‡2 ISNI|0000000425569519‏
996 ‎‡2 NSK|000426178‏
996 ‎‡2 NUKAT|n 2005012137‏
996 ‎‡2 NTA|183076168‏
996 ‎‡2 CAOONL|ncf11872785‏
996 ‎‡2 CAOONL|ncf11457162‏
996 ‎‡2 SUDOC|23620999X‏
996 ‎‡2 DNB|132129027‏
996 ‎‡2 NUKAT|n 2004035747‏
996 ‎‡2 ISNI|0000000072616307‏
996 ‎‡2 ISNI|0000000117774561‏
996 ‎‡2 RERO|A003803273‏
996 ‎‡2 BNC|981058516596006706‏
996 ‎‡2 DNB|115816860‏
996 ‎‡2 ISNI|0000000081192358‏
996 ‎‡2 NUKAT|n 2008059250‏
996 ‎‡2 RERO|A012344905‏
996 ‎‡2 NUKAT|n 2010075759‏
996 ‎‡2 NTA|12695609X‏
996 ‎‡2 NII|DA10304613‏
996 ‎‡2 DNB|128904135‏
996 ‎‡2 BNC|981060981535506706‏
996 ‎‡2 DNB|1126759481‏
996 ‎‡2 LC|n 2009078562‏
996 ‎‡2 NUKAT|n 2017215228‏
996 ‎‡2 LC|no2018173777‏
996 ‎‡2 LC|n 79143693‏
996 ‎‡2 NUKAT|n 2006044531‏
996 ‎‡2 ISNI|0000000068488672‏
996 ‎‡2 NUKAT|n 2013052460‏
996 ‎‡2 WKP|Q87755367‏
996 ‎‡2 SUDOC|273883356‏
996 ‎‡2 SIMACOB|80361571‏
996 ‎‡2 NTA|370129695‏
996 ‎‡2 BAV|495_391520‏
996 ‎‡2 NSK|000070526‏
996 ‎‡2 DBC|87097919477843‏
996 ‎‡2 DE633|pe41001870‏
996 ‎‡2 DNB|1047179679‏
996 ‎‡2 BNF|12198435‏
996 ‎‡2 ISNI|0000000027854576‏
996 ‎‡2 BNF|12638254‏
996 ‎‡2 LC|n 2024057973‏
996 ‎‡2 NTA|075198037‏
996 ‎‡2 PLWABN|9810632817105606‏
996 ‎‡2 SUDOC|181717565‏
996 ‎‡2 DNB|135520398‏
996 ‎‡2 LC|n 50004593‏
996 ‎‡2 LC|no2016010836‏
996 ‎‡2 DNB|127966862‏
996 ‎‡2 LC|n 2003015228‏
996 ‎‡2 RERO|A012448046‏
996 ‎‡2 NII|DA10847743‏
996 ‎‡2 LC|nb2006023858‏
996 ‎‡2 ICCU|CUBV059797‏
996 ‎‡2 J9U|987007393788805171‏
996 ‎‡2 NUKAT|n 2004005779‏
996 ‎‡2 NUKAT|n 2008086577‏
996 ‎‡2 NUKAT|n 2004253931‏
996 ‎‡2 DNB|135520401‏
996 ‎‡2 PLWABN|9810545883005606‏
996 ‎‡2 DNB|133193624‏
996 ‎‡2 DNB|1226782337‏
996 ‎‡2 ISNI|0000000394731674‏
996 ‎‡2 DNB|1159582505‏
996 ‎‡2 CAOONL|ncf11209051‏
996 ‎‡2 BIBSYS|90071978‏
996 ‎‡2 DNB|1078123683‏
996 ‎‡2 NTA|098866672‏
996 ‎‡2 DNB|1015202918‏
996 ‎‡2 DNB|1158871945‏
996 ‎‡2 LC|n 79112199‏
996 ‎‡2 RERO|A012384124‏
996 ‎‡2 NUKAT|n 2006124084‏
996 ‎‡2 ISNI|0000000423863853‏
996 ‎‡2 ISNI|0000000003340028‏
996 ‎‡2 ISNI|0000000032130687‏
996 ‎‡2 ISNI|0000000020894428‏
996 ‎‡2 RERO|A011254246‏
996 ‎‡2 DNB|133207692‏
996 ‎‡2 RERO|A016655823‏
996 ‎‡2 DNB|127966870‏
996 ‎‡2 LC|n 2024050407‏
996 ‎‡2 WKP|Q64991461‏
996 ‎‡2 DNB|133203166‏
996 ‎‡2 SUDOC|224526235‏
996 ‎‡2 SUDOC|187748950‏
996 ‎‡2 WKP|Q47502782‏
996 ‎‡2 BIBSYS|4072868‏
996 ‎‡2 ISNI|0000000397200123‏
996 ‎‡2 SUDOC|087808129‏
996 ‎‡2 PLWABN|9812080273705606‏
996 ‎‡2 PLWABN|9810704897605606‏
996 ‎‡2 DNB|172361427‏
996 ‎‡2 SUDOC|076003477‏
996 ‎‡2 DNB|1205937161‏
996 ‎‡2 LC|n 82012852‏
996 ‎‡2 NTA|068986009‏
996 ‎‡2 NTA|138768129‏
996 ‎‡2 PTBNP|1276878‏
996 ‎‡2 NYNYRILM|232164‏
996 ‎‡2 SUDOC|079165591‏
996 ‎‡2 WKP|Q102970168‏
996 ‎‡2 NUKAT|n 2002012081‏
996 ‎‡2 DNB|122805844‏
996 ‎‡2 DNB|1315124351‏
996 ‎‡2 SUDOC|253257565‏
997 ‎‡a 1967 0 lived 0 0‏ ‎‡9 1‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 SUDOC|089817524‏ ‎‡3 single date‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 RERO|A016871352‏ ‎‡3 single date‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 J9U|987007434122805171‏ ‎‡3 single date‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 LC|n 2003015228‏ ‎‡3 single date‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 CAOONL|ncf11457162‏ ‎‡3 single date‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 NUKAT|n 2006124084‏ ‎‡3 single date‏ ‎‡3 viafid‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 BIBSYS|4072868‏ ‎‡3 viafid‏ ‎‡3 single date‏
998 ‎‡a Schneider‏ ‎‡b Klaus‏ ‎‡2 BNF|15026423‏ ‎‡3 single date‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 BNC|981058516596006706‏ ‎‡3 single date‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 ISNI|0000000110600980‏ ‎‡3 single date‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 ISNI|0000000110600980‏ ‎‡3 single date‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 ISNI|0000000110600980‏ ‎‡3 single date‏
998 ‎‡a Klaus Schneider‏ ‎‡2 WKP|Q102970168‏ ‎‡3 suggested‏