VIAF

Virtual International Authority File

Search

Leader     00000nz a2200037n 45 0
001     DNB|134262557  (VIAF cluster)  (Authority/Source Record)
003     DNB
005     20080520210307.0
008     080507n||aznnnabbn | aaa |c
035 ‎‡a  (DNB)134262557‏
024 7 ‎‡a  http://d-nb.info/gnd/134262557‏ ‎‡2  uri‏
035 ‎‡a  (DE-101)134262557‏
035 ‎‡a  (DE-588)134262557‏
035 ‎‡z  (DE-588a)134262557‏ ‎‡9  v:zg‏
035 ‎‡z  (DE-588a)109303725‏
040 ‎‡a  DE-521‏ ‎‡9  r:DE-602‏ ‎‡b  ger‏ ‎‡d  9999‏
079 ‎‡a  g‏ ‎‡b  p‏ ‎‡c  1‏ ‎‡q  f‏ ‎‡u  v‏ ‎‡v  piz‏
100 1 ‎‡a  Gordon, Michael J. C.‏ ‎‡d  1948-‏
375 ‎‡a  1‏ ‎‡2  iso5218‏
400 1 ‎‡a  Gordon, M. J. C.‏ ‎‡d  1948-‏
400 1 ‎‡a  Gordon, Mike‏ ‎‡d  1948-‏
548 ‎‡a  1948-‏ ‎‡9  4:datl‏ ‎‡w  r‏ ‎‡i  Lebensdaten‏
548 ‎‡a  28.02.1948-‏ ‎‡9  4:datx‏ ‎‡w  r‏ ‎‡i  Exakte Lebensdaten‏
550 ‎‡0  (DE-101)041393953‏ ‎‡0  (DE-588)4139395-8‏ ‎‡a  Informatiker‏ ‎‡9  4:berc‏ ‎‡w  r‏ ‎‡i  Charakteristischer Beruf‏
670 ‎‡a  LCAuth‏
692 ‎‡a  The denotational description of programming languages. - 1979‏
692 ‎‡a  Introduction to HOL. - 1993‏
700 1 7 ‎‡a  Gordon, Michael J. C.‏ ‎‡d  1948-‏ ‎‡0  (DLC)n 79060869‏ ‎‡2  naf‏ ‎‡9  v:1948-‏
901 ‎‡a  978146126228‏ ‎‡9  1‏
901 ‎‡a  978354009724‏ ‎‡9  2‏
901 ‎‡a  978038709724‏ ‎‡9  2‏
901 ‎‡a  978354090433‏ ‎‡9  1‏
901 ‎‡a  978038790433‏ ‎‡9  1‏
910 ‎‡a  introductiontohol‏ ‎‡A  Introduction to HOL. -‏ ‎‡9  1‏
910 ‎‡a  denotationaldescriptionofprogramminglanguages‏ ‎‡A  The denotational description of programming languages. -‏ ‎‡9  3‏
910 ‎‡a  edinburghlcfamechanisedlogicofcomputation‏ ‎‡A  Edinburgh LCF‏ ‎‡b  a mechanised logic of computation‏ ‎‡l  ger‏ ‎‡9  2‏
920 ‎‡a  978-146‏ ‎‡9  1‏
920 ‎‡a  978-35400‏ ‎‡9  2‏
920 ‎‡a  978-038‏ ‎‡9  3‏
920 ‎‡a  978-35409‏ ‎‡9  1‏
921 ‎‡a  springer new york‏ ‎‡b  Springer New York‏ ‎‡9  1‏
921 ‎‡a  springer‏ ‎‡b  Springer‏ ‎‡9  3‏
922 ‎‡a  gw‏ ‎‡b  de‏ ‎‡9  4‏
930 ‎‡a  michael j gordon‏ ‎‡c  Michael J. Gordon ; Arthur J. Milner ; Christopher P. Wadsworth‏ ‎‡9  2‏
930 ‎‡a  michael j c gordon‏ ‎‡c  Michael J. C. Gordon‏ ‎‡9  1‏
940 ‎‡a  ger‏ ‎‡9  7‏
943 ‎‡a  199x‏ ‎‡9  1‏
943 ‎‡a  197x‏ ‎‡9  5‏
944 ‎‡a  am‏ ‎‡9  4‏
946 ‎‡a  b‏ ‎‡9  1‏
950 ‎‡a  milner arthur j‏ ‎‡A  Milner, Arthur J.‏ ‎‡9  2‏
950 ‎‡a  wadsworth christopher p‏ ‎‡A  Wadsworth, Christopher P.‏ ‎‡9  2‏
960 ‎‡a  lange max‏ ‎‡A  Lange, Max‏ ‎‡d  1868-1947‏ ‎‡9  1‏
996 ‎‡2  LIH|LNB:BS9_f_;=B_a_‏
996 ‎‡2  NKC|osd20231183959‏
996 ‎‡2  KRNLK|KAC200301609‏
996 ‎‡2  PTBNP|1444222‏
996 ‎‡2  EGAXA|Balis300953819‏
996 ‎‡2  NTA|257382909‏
996 ‎‡2  NDL|00947311‏
996 ‎‡2  J9U|987007445158405171‏
996 ‎‡2  PLWABN|9810561462105606‏
996 ‎‡2  BIBSYS|90709491‏
996 ‎‡2  ISNI|0000000116060663‏
996 ‎‡2  WKP|Q58920981‏
996 ‎‡2  BIBSYS|98000573‏
996 ‎‡2  CAOONL|ncf10526909‏
996 ‎‡2  SUDOC|086147285‏
996 ‎‡2  NII|DA06174398‏
996 ‎‡2  NII|DA16008045‏
996 ‎‡2  NUKAT|n 2009082664‏
996 ‎‡2  ISNI|0000000121484321‏
996 ‎‡2  CAOONL|ncf11555456‏
996 ‎‡2  LC|n 2023007930‏
996 ‎‡2  RERO|A013662263‏
996 ‎‡2  LC|no2016126128‏
996 ‎‡2  NKC|vse20201094852‏
996 ‎‡2  NSK|000171910‏
996 ‎‡2  LC|nb2014013792‏
996 ‎‡2  BNE|XX1725920‏
996 ‎‡2  NSK|000434933‏
996 ‎‡2  NDL|00467356‏
996 ‎‡2  SUDOC|270650679‏
996 ‎‡2  ISNI|0000000077596237‏
996 ‎‡2  NTA|26538947X‏
996 ‎‡2  NUKAT|n 2023186052‏
996 ‎‡2  J9U|987007261943305171‏
996 ‎‡2  WKP|Q89612479‏
996 ‎‡2  LC|n 2019002582‏
996 ‎‡2  RERO|A003309128‏
996 ‎‡2  LC|n 88673543‏
996 ‎‡2  ISNI|0000000117800504‏
996 ‎‡2  BNF|16755678‏
996 ‎‡2  BNF|16154734‏
996 ‎‡2  NII|DA10161276‏
996 ‎‡2  SUDOC|080628214‏
996 ‎‡2  NUKAT|n 2010133885‏
996 ‎‡2  UAE|Mill_a10001137‏
996 ‎‡2  RERO|A025246453‏
996 ‎‡2  LC|n 94055410‏
996 ‎‡2  ISNI|0000000075771732‏
996 ‎‡2  EGAXA|vtls001923388‏
996 ‎‡2  ISNI|0000000115591331‏
996 ‎‡2  BNE|XX4827330‏
996 ‎‡2  BNC|981058530227606706‏
996 ‎‡2  NDL|00927648‏
996 ‎‡2  BIBSYS|90897968‏
996 ‎‡2  B2Q|0000303890‏
996 ‎‡2  ISNI|0000000030343371‏
996 ‎‡2  WKP|Q55716597‏
996 ‎‡2  RERO|A012831967‏
996 ‎‡2  LC|n 92063931‏
996 ‎‡2  LC|nb2006005690‏
996 ‎‡2  CAOONL|ncf10354921‏
996 ‎‡2  LC|no2015138475‏
996 ‎‡2  N6I|vtls002439650‏
996 ‎‡2  LC|n 88065117‏
996 ‎‡2  PLWABN|9810614254005606‏
996 ‎‡2  CAOONL|ncf11210942‏
996 ‎‡2  LC|no2001073281‏
996 ‎‡2  RERO|A003309108‏
996 ‎‡2  ISNI|0000000392933360‏
996 ‎‡2  LC|n 86120027‏
996 ‎‡2  NKC|pna2008444741‏
996 ‎‡2  WKP|Q91089107‏
996 ‎‡2  BIBSYS|90951990‏
996 ‎‡2  J9U|987007354006305171‏
996 ‎‡2  WKP|Q130534697‏
996 ‎‡2  BNF|15074699‏
996 ‎‡2  LIH|LNB:B_v____q_;=CD‏
996 ‎‡2  LC|n 85109584‏
996 ‎‡2  WKP|Q2779402‏
996 ‎‡2  SUDOC|060453990‏
996 ‎‡2  BIBSYS|5000711‏
996 ‎‡2  LC|no2013106892‏
996 ‎‡2  ISNI|0000000035088912‏
996 ‎‡2  NII|DA19464845‏
996 ‎‡2  J9U|987007371989605171‏
996 ‎‡2  ISNI|000000007250038X‏
996 ‎‡2  LC|n 00091525‏
996 ‎‡2  ISNI|0000000129200442‏
996 ‎‡2  BNF|12922355‏
996 ‎‡2  NUKAT|n 2005107078‏
996 ‎‡2  J9U|987007363697605171‏
996 ‎‡2  PLWABN|9810694832405606‏
996 ‎‡2  ISNI|000000011784104X‏
996 ‎‡2  WKP|Q118927154‏
996 ‎‡2  LC|n 90694406‏
996 ‎‡2  BIBSYS|10028870‏
996 ‎‡2  BIBSYS|98055926‏
996 ‎‡2  CAOONL|ncf11326481‏
996 ‎‡2  PLWABN|9810661789505606‏
996 ‎‡2  LC|n 88229591‏
996 ‎‡2  WKP|Q88385891‏
996 ‎‡2  LC|n 96121733‏
996 ‎‡2  NUKAT|n 2020122072‏
996 ‎‡2  ISNI|0000000417144991‏
996 ‎‡2  CAOONL|ncf12129397‏
996 ‎‡2  CAOONL|ncf10154026‏
996 ‎‡2  ISNI|0000000507194124‏
996 ‎‡2  BNE|XX1710543‏
996 ‎‡2  LC|no2019010393‏
996 ‎‡2  NUKAT|n 2008077328‏
996 ‎‡2  BIBSYS|8021224‏
996 ‎‡2  BIBSYS|97022995‏
996 ‎‡2  LC|n 2023062143‏
996 ‎‡2  NII|DA0142424X‏
996 ‎‡2  LIH|LNB:CQ0_t_;=B_e_‏
996 ‎‡2  LC|no2016125999‏
996 ‎‡2  ISNI|0000000072889516‏
996 ‎‡2  PLWABN|9810691150005606‏
996 ‎‡2  CAOONL|ncf11341307‏
996 ‎‡2  LC|n 2009008658‏
996 ‎‡2  WKP|Q1928955‏
996 ‎‡2  RERO|A005556033‏
996 ‎‡2  SUDOC|085936251‏
996 ‎‡2  CAOONL|ncf10671674‏
996 ‎‡2  PLWABN|9810599516505606‏
996 ‎‡2  DBC|87097968356679‏
996 ‎‡2  SUDOC|256467447‏
996 ‎‡2  BNC|981058527990906706‏
996 ‎‡2  PLWABN|9810597729005606‏
996 ‎‡2  WKP|Q91748002‏
996 ‎‡2  NII|DA18189858‏
996 ‎‡2  W2Z|90708487‏
996 ‎‡2  ISNI|0000000383979092‏
996 ‎‡2  SUDOC|071398333‏
996 ‎‡2  ISNI|0000000076202611‏
996 ‎‡2  NSK|000226806‏
996 ‎‡2  WKP|Q113681585‏
996 ‎‡2  CAOONL|ncf11308925‏
996 ‎‡2  J9U|987007261942805171‏
996 ‎‡2  NUKAT|n 00020943‏
996 ‎‡2  PTBNP|1856681‏
996 ‎‡2  BLBNB|000574094‏
996 ‎‡2  NUKAT|n 01109978‏
996 ‎‡2  LC|n 2017250730‏
996 ‎‡2  BIBSYS|98050034‏
996 ‎‡2  PTBNP|169805‏
996 ‎‡2  LC|no2005088260‏
996 ‎‡2  SUDOC|261615491‏
996 ‎‡2  J9U|987011416249205171‏
996 ‎‡2  CAOONL|ncf10027433‏
996 ‎‡2  NII|DA03883306‏
996 ‎‡2  NUKAT|n 2020025919‏
996 ‎‡2  NLA|000035666389‏
996 ‎‡2  LC|no2015132474‏
996 ‎‡2  SIMACOB|125508195‏
996 ‎‡2  SUDOC|231600577‏
996 ‎‡2  J9U|987007261942605171‏
996 ‎‡2  NTA|242561152‏
996 ‎‡2  RERO|A012352172‏
996 ‎‡2  J9U|987007261942705171‏
996 ‎‡2  BIBSYS|90733461‏
996 ‎‡2  RERO|A012793170‏
996 ‎‡2  BNF|17222381‏
996 ‎‡2  B2Q|0000675781‏
996 ‎‡2  WKP|Q98894176‏
996 ‎‡2  NKC|jo2012696229‏
996 ‎‡2  SUDOC|069474346‏
996 ‎‡2  NKC|ntk2015863189‏
996 ‎‡2  SUDOC|180502352‏
996 ‎‡2  RERO|A027646041‏
996 ‎‡2  ISNI|0000000115682903‏
996 ‎‡2  LC|no2002004043‏
996 ‎‡2  BNE|XX4857991‏
996 ‎‡2  BNF|12358076‏
996 ‎‡2  J9U|987012747935905171‏
996 ‎‡2  RERO|A005705672‏
996 ‎‡2  NKC|mub20241240323‏
996 ‎‡2  NTA|148739997‏
996 ‎‡2  ISNI|0000000394975986‏
996 ‎‡2  BIBSYS|2083732‏
996 ‎‡2  LC|n 82230214‏
996 ‎‡2  LC|n 95803754‏
996 ‎‡2  SZ|1286512476‏
996 ‎‡2  WKP|Q6831376‏
996 ‎‡2  ISNI|0000000035531603‏
996 ‎‡2  WKP|Q112487912‏
996 ‎‡2  LC|no2022045511‏
996 ‎‡2  J9U|987011292215305171‏
996 ‎‡2  NII|DA02768120‏
996 ‎‡2  NUKAT|n 97021343‏
996 ‎‡2  NTA|32133650X‏
996 ‎‡2  ISNI|0000000066890385‏
996 ‎‡2  BIBSYS|90708487‏
996 ‎‡2  NII|DA07442630‏
996 ‎‡2  WKP|Q92110465‏
996 ‎‡2  DBC|87097990832336‏
996 ‎‡2  RERO|A003309109‏
996 ‎‡2  LC|n 2010001552‏
996 ‎‡2  NUKAT|n 2009084911‏
996 ‎‡2  J9U|987007364269405171‏
996 ‎‡2  NII|DA10871373‏
996 ‎‡2  LC|n 2008037388‏
996 ‎‡2  WKP|Q112412409‏
996 ‎‡2  BNCHL|10000000000000000855182‏
996 ‎‡2  NTA|071740848‏
996 ‎‡2  SUDOC|259845779‏
996 ‎‡2  BIBSYS|90067937‏
996 ‎‡2  BIBSYS|3118986‏
996 ‎‡2  LC|no2005005242‏
996 ‎‡2  BLBNB|000538709‏
996 ‎‡2  DBC|870979136702238‏
996 ‎‡2  NTA|344501000‏
996 ‎‡2  BIBSYS|14070041‏
996 ‎‡2  NII|DA00573379‏
996 ‎‡2  WKP|Q96023756‏
996 ‎‡2  CAOONL|ncf11259103‏
996 ‎‡2  LC|no2018046556‏
996 ‎‡2  RERO|A025700519‏
996 ‎‡2  NII|DA06464219‏
996 ‎‡2  BIBSYS|90540339‏
996 ‎‡2  PLWABN|9810661854905606‏
996 ‎‡2  BNF|12095012‏
996 ‎‡2  NII|DA13364586‏
997 ‎‡a  1948 0 lived 0 0‏ ‎‡9  1‏
998 ‎‡a  Gordon, Michael J. C.,‏ ‎‡2  NLA|000035917011‏ ‎‡3  exact title: (1.00, 'introductiontohol', 'introductiontohol')‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J. C.‏ ‎‡2  BIBSYS|90167526‏ ‎‡3  viafid‏ ‎‡3  standard number‏
998 ‎‡a  Gordon, Michael J. C.,‏ ‎‡2  CAOONL|ncf11156744‏ ‎‡3  title: (0.83, 'denotationaldescriptionofprogramminglanguagesc1979tpmichaelj100gordoncipdatasheetb22848', 'denotationaldescriptionofprogramminglanguages')‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J.C.‏ ‎‡2  ISNI|0000000110776724‏ ‎‡3  partial date, publisher‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J.C.‏ ‎‡2  ISNI|0000000110776724‏ ‎‡3  partial date, publisher‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J. C.‏ ‎‡2  ISNI|0000000110776724‏ ‎‡3  partial date, publisher‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J. C.‏ ‎‡2  ISNI|0000000110776724‏ ‎‡3  partial date, publisher‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J. C.,‏ ‎‡2  ISNI|0000000110776724‏ ‎‡3  partial date, publisher‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J. C.‏ ‎‡2  ISNI|0000000110776724‏ ‎‡3  partial date, publisher‏ ‎‡3  single date‏
998 ‎‡a  Michael J. C. Gordon‏ ‎‡c  Computer scientist‏ ‎‡2  ISNI|0000000110776724‏ ‎‡3  partial date, publisher‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J. C‏ ‎‡2  ISNI|0000000110776724‏ ‎‡3  partial date, publisher‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J.C‏ ‎‡2  RERO|A003309129‏ ‎‡3  standard number‏
998 ‎‡a  Michael J. C. Gordon‏ ‎‡c  computer scientist‏ ‎‡2  WKP|Q6831376‏ ‎‡3  suggested‏
998 ‎‡a  Gordon, Michael J. C.,‏ ‎‡2  SUDOC|132935368‏ ‎‡3  single date‏ ‎‡3  standard number‏
998 ‎‡a  Gordon‏ ‎‡b  Michael J. C.‏ ‎‡2  BNF|12424739‏ ‎‡3  title: (0.66, 'introductiontoholatheoremprovingenvironmentforhigherorderlogic', 'introductiontohol')‏ ‎‡3  single date‏
998 ‎‡a  Gordon, M. J. C‏ ‎‡2  NII|DA06781095‏ ‎‡3  title: (0.66, 'introductiontohol', 'introductiontoholatheoremprovingenvironmentforhigherorderlogic')‏
998 ‎‡a  Gordon, Michael J. C.,‏ ‎‡2  J9U|987007445158405171‏ ‎‡3  lccn:n79-60869‏ ‎‡3  single date‏
998 ‎‡a  Gordon, Michael J. C.,‏ ‎‡2  LC|n 79060869‏ ‎‡3  lccn:n79-60869‏ ‎‡3  single date‏ ‎‡3  standard number‏
998 ‎‡a  Gordon, Michael J. C.‏ ‎‡2  NUKAT|n 97007703‏ ‎‡3  single date‏ ‎‡3  standard number‏
998 ‎‡a  Gordon, Michael J. C.‏ ‎‡2  NII|DA03224398‏ ‎‡3  exact title: (1.00, 'edinburghlcfamechanisedlogicofcomputation', 'edinburghlcfamechanisedlogicofcomputation')‏
998 ‎‡a  Gordon, Michael J. C.‏ ‎‡2  PLWABN|9810661854905606‏ ‎‡3  viafid‏
998 ‎‡a  Gordon, Michael J.C.,‏ ‎‡c  informatica,‏ ‎‡2  NTA|073708569‏ ‎‡3  single date‏ ‎‡3  standard number‏
999 ‎‡2  BVB|611980400‏
999 ‎‡2  DDB|790427311‏
999 ‎‡2  DDB|1016207425‏
999 ‎‡2  DDB|801033012‏