VIAF

Virtual International Authority File

Search

Leader 00000cz a2200037n 45 0
001 SUDOC|132935368 (VIAF cluster) (Authority/Source Record)
005 202109091757.2
008 090421 nfazznn||| |n aaa |d
003 SUDOC
035 ‎‡a (SUDOC)132935368‏
024 7 ‎‡a 0000000110776724‏ ‎‡2 isni‏
035 ‎‡a http://viaf.org/viaf/93782851‏
035 ‎‡a Q6831376‏
035 ‎‡a gordon.michael-j-c‏
046 0 ‎‡f 19480228‏
100 1 ‎‡a Gordon, Michael J. C.,‏ ‎‡d 1948-....‏
670 ‎‡a Internet, www.bn.fr, 2009-04-21‏
670 ‎‡a Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / forganized by CHEOPS ESPRIT BRA 3215, sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992, edited by Luc J.M. Claesen, Michael J.C. Gordon, 1993‏
678 ‎‡a Mathématicien et informaticien‏
901 ‎‡a 978044489880‏ ‎‡9 1‏
901 ‎‡a 978354038526‏ ‎‡9 1‏
901 ‎‡a 978038709724‏ ‎‡9 1‏
901 ‎‡a 978354009724‏ ‎‡9 1‏
901 ‎‡a 978038790433‏ ‎‡9 1‏
901 ‎‡a 978013730409‏ ‎‡9 1‏
901 ‎‡a 978013730417‏ ‎‡9 1‏
903 ‎‡a 920465377‏ ‎‡9 1‏
903 ‎‡a 79024745‏ ‎‡9 1‏
903 ‎‡a 790157233‏ ‎‡9 1‏
903 ‎‡a 880097911‏ ‎‡9 1‏
909 ‎‡a (isni) 0000000110776724‏ ‎‡9 1‏
910 ‎‡a higherorderlogictheoremprovinganditsapplicationsproceedingsoftheifiptc10wg102internationalworkshoponhigherorderlogictheoremprovinganditsapplicationshol92‏ ‎‡A Higher order logic theorem proving and its applications:‏ ‎‡b proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a edinburghlcfamechanisedlogicofcomputation‏ ‎‡A Edinburgh LCF:‏ ‎‡b A Mechanised Logic of Computation /‏ ‎‡l eng‏ ‎‡9 2‏
910 ‎‡a denotationaldescriptionofprogramminglanguages‏ ‎‡A The denotational description of programming languages:‏ ‎‡b an introduction /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a programminglanguagetheoryanditsimplementationapplicativeandimperativeparadigms‏ ‎‡A Programming language theory and its implementation:‏ ‎‡b applicative and imperative paradigms /‏ ‎‡l eng‏ ‎‡9 1‏
919 ‎‡a higherorderlogictheoremprovinganditsapplicationsproceedingsoftheifiptc10wg102internationalworkshoponhigherorderlogictheoremprovinganditsapplicationshol92‏ ‎‡A Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92‏ ‎‡9 1‏
920 ‎‡a 978-044‏ ‎‡9 1‏
920 ‎‡a 978-35403‏ ‎‡9 1‏
920 ‎‡a 978-038‏ ‎‡9 2‏
920 ‎‡a 978-35400‏ ‎‡9 1‏
920 ‎‡a 978-013‏ ‎‡9 1‏
921 ‎‡a north holland‏ ‎‡b North-Holland,‏ ‎‡9 1‏
921 ‎‡a springer verlag‏ ‎‡b Springer-Verlag,‏ ‎‡9 1‏
921 ‎‡a prentice hall‏ ‎‡b Prentice Hall,‏ ‎‡9 1‏
922 ‎‡a ne‏ ‎‡b nl‏ ‎‡9 1‏
922 ‎‡a gw‏ ‎‡b de‏ ‎‡9 2‏
922 ‎‡a us‏ ‎‡b us‏ ‎‡9 2‏
930 ‎‡a michael j gordon‏ ‎‡c by Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth..‏ ‎‡9 2‏
930 ‎‡a michael j c gordon‏ ‎‡c Michael J. C. Gordon.‏ ‎‡9 2‏
940 ‎‡a eng‏ ‎‡9 5‏
941 ‎‡a directeur de la publication‏ ‎‡e Directeur de la publication‏ ‎‡9 1‏
942 ‎‡a QA76.9.A96‏ ‎‡9 1‏
942 ‎‡a QA9.59‏ ‎‡9 1‏
942 ‎‡a QA76.7‏ ‎‡9 2‏
943 ‎‡a 199x‏ ‎‡9 1‏
943 ‎‡a 197x‏ ‎‡9 2‏
943 ‎‡a 198x‏ ‎‡9 1‏
944 ‎‡a am‏ ‎‡9 4‏
944 ‎‡a mm‏ ‎‡9 1‏
950 ‎‡a claesen luc j m‏ ‎‡A Claesen, Luc J. M..‏ ‎‡9 1‏
950 ‎‡a wadsworth christopher p‏ ‎‡A Wadsworth, Christopher P..‏ ‎‡9 2‏
950 ‎‡a milner robin‏ ‎‡A Milner, Robin‏ ‎‡d (1934-2010).‏ ‎‡9 2‏
996 ‎‡2 LIH|LNB:BS9_f_;=B_a_‏
996 ‎‡2 NTA|257382909‏
996 ‎‡2 BIBSYS|90733461‏
996 ‎‡2 NLA|000055068075‏
996 ‎‡2 WKP|Q89612479‏
996 ‎‡2 J9U|987007261942805171‏
996 ‎‡2 NDL|00947311‏
996 ‎‡2 J9U|987011416249205171‏
996 ‎‡2 BNF|16154734‏
996 ‎‡2 ISNI|0000000116060663‏
996 ‎‡2 WKP|Q58920981‏
996 ‎‡2 CAOONL|ncf10526909‏
996 ‎‡2 ISNI|0000000129200442‏
996 ‎‡2 NUKAT|n 2005107078‏
996 ‎‡2 WKP|Q91748002‏
996 ‎‡2 WKP|Q88385891‏
996 ‎‡2 NUKAT|n 2009082664‏
996 ‎‡2 LC|n 2023007930‏
996 ‎‡2 CAOONL|ncf11341307‏
996 ‎‡2 LC|nb2014013792‏
996 ‎‡2 BNE|XX1725920‏
996 ‎‡2 NDL|00467356‏
996 ‎‡2 NTA|32133650X‏
996 ‎‡2 ISNI|0000000077596237‏
996 ‎‡2 NUKAT|n 2023186052‏
996 ‎‡2 RERO|A003309128‏
996 ‎‡2 LC|n 88673543‏
996 ‎‡2 J9U|987007445158405171‏
996 ‎‡2 NLA|000035666389‏
996 ‎‡2 DNB|134262506‏
996 ‎‡2 RERO|A025246453‏
996 ‎‡2 LIH|LNB:CQ0_t_;=B_e_‏
996 ‎‡2 J9U|987011292215305171‏
996 ‎‡2 DNB|1136097074‏
996 ‎‡2 BNE|XX4827330‏
996 ‎‡2 BIBSYS|90897968‏
996 ‎‡2 LC|nb2006005690‏
996 ‎‡2 LC|no2015138475‏
996 ‎‡2 LC|n 2008037388‏
996 ‎‡2 KRNLK|KAC200301609‏
996 ‎‡2 NUKAT|n 01109978‏
996 ‎‡2 WKP|Q91089107‏
996 ‎‡2 NSK|000171910‏
996 ‎‡2 WKP|Q130534697‏
996 ‎‡2 BNF|15074699‏
996 ‎‡2 LIH|LNB:B_v____q_;=CD‏
996 ‎‡2 WKP|Q2779402‏
996 ‎‡2 BIBSYS|5000711‏
996 ‎‡2 LC|no2013106892‏
996 ‎‡2 ISNI|000000007250038X‏
996 ‎‡2 PTBNP|1444222‏
996 ‎‡2 BNF|12922355‏
996 ‎‡2 J9U|987007363697605171‏
996 ‎‡2 PLWABN|9810694832405606‏
996 ‎‡2 ISNI|000000011784104X‏
996 ‎‡2 WKP|Q118927154‏
996 ‎‡2 NKC|mub20241240323‏
996 ‎‡2 BIBSYS|10028870‏
996 ‎‡2 PLWABN|9810661789505606‏
996 ‎‡2 DNB|125631465X‏
996 ‎‡2 NKC|pna2008444741‏
996 ‎‡2 ISNI|0000000417144991‏
996 ‎‡2 CAOONL|ncf12129397‏
996 ‎‡2 DNB|1227955316‏
996 ‎‡2 RERO|A012352172‏
996 ‎‡2 BNE|XX1710543‏
996 ‎‡2 LC|no2019010393‏
996 ‎‡2 LC|no2016126128‏
996 ‎‡2 BIBSYS|8021224‏
996 ‎‡2 LC|n 2023062143‏
996 ‎‡2 NII|DA0142424X‏
996 ‎‡2 LC|no2016125999‏
996 ‎‡2 ISNI|0000000072889516‏
996 ‎‡2 PLWABN|9810691150005606‏
996 ‎‡2 DNB|1057056030‏
996 ‎‡2 RERO|A005556033‏
996 ‎‡2 ISNI|0000000507194124‏
996 ‎‡2 PLWABN|9814300705205606‏
996 ‎‡2 DNB|1203725140‏
996 ‎‡2 DBC|87097968356679‏
996 ‎‡2 LC|n 2009008658‏
996 ‎‡2 BNC|981058527990906706‏
996 ‎‡2 PLWABN|9810597729005606‏
996 ‎‡2 NII|DA18189858‏
996 ‎‡2 W2Z|90708487‏
996 ‎‡2 ISNI|0000000394975986‏
996 ‎‡2 ISNI|0000000076202611‏
996 ‎‡2 NUKAT|n 00020943‏
996 ‎‡2 BLBNB|000574094‏
996 ‎‡2 LC|n 2017250730‏
996 ‎‡2 PTBNP|169805‏
996 ‎‡2 NII|DA03883306‏
996 ‎‡2 NUKAT|n 2020025919‏
996 ‎‡2 NII|DA06781095‏
996 ‎‡2 LC|no2015132474‏
996 ‎‡2 LC|no2018046556‏
996 ‎‡2 NTA|242561152‏
996 ‎‡2 B2Q|0000675781‏
996 ‎‡2 NKC|jo2012696229‏
996 ‎‡2 DNB|139289658‏
996 ‎‡2 RERO|A027646041‏
996 ‎‡2 ISNI|0000000115682903‏
996 ‎‡2 BNE|XX4857991‏
996 ‎‡2 WKP|Q6831376‏
996 ‎‡2 NII|DA02768120‏
996 ‎‡2 BIBSYS|2083732‏
996 ‎‡2 LC|n 95803754‏
996 ‎‡2 ISNI|0000000035531603‏
996 ‎‡2 WKP|Q112487912‏
996 ‎‡2 CAOONL|ncf10354921‏
996 ‎‡2 LC|no2022045511‏
996 ‎‡2 LC|n 92063931‏
996 ‎‡2 NTA|148739997‏
996 ‎‡2 WKP|Q55716597‏
996 ‎‡2 BIBSYS|90708487‏
996 ‎‡2 NII|DA07442630‏
996 ‎‡2 WKP|Q92110465‏
996 ‎‡2 PLWABN|9810661854905606‏
996 ‎‡2 DNB|135181054‏
996 ‎‡2 RERO|A003309108‏
996 ‎‡2 DNB|1071375024‏
996 ‎‡2 WKP|Q113681585‏
996 ‎‡2 WKP|Q112412409‏
996 ‎‡2 BNCHL|10000000000000000855182‏
996 ‎‡2 NTA|071740848‏
996 ‎‡2 BIBSYS|3118986‏
996 ‎‡2 DBC|870979136702238‏
996 ‎‡2 NTA|344501000‏
996 ‎‡2 WKP|Q96023756‏
996 ‎‡2 CAOONL|ncf11259103‏
996 ‎‡2 BNF|17222381‏
996 ‎‡2 WKP|Q98894176‏
996 ‎‡2 DBC|87097990832336‏
996 ‎‡2 NII|DA13364586‏
997 ‎‡a 1948 0 lived 0228 0‏ ‎‡9 1‏
998 ‎‡a Gordon, Michael J. C.,‏ ‎‡2 NLA|000035917011‏ ‎‡3 exact title: (1.00, 'denotationaldescriptionofprogramminglanguages', 'denotationaldescriptionofprogramminglanguages')‏ ‎‡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 single date‏ ‎‡3 title: (0.83, 'denotationaldescriptionofprogramminglanguagesc1979tpmichaelj100gordoncipdatasheetb22848', 'denotationaldescriptionofprogramminglanguages')‏
998 ‎‡a Gordon, Michael J.C.‏ ‎‡2 ISNI|0000000110776724‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Gordon, Michael J.C.‏ ‎‡2 ISNI|0000000110776724‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Gordon, Michael J. C.‏ ‎‡2 ISNI|0000000110776724‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Gordon, Michael J. C.‏ ‎‡2 ISNI|0000000110776724‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Gordon, Michael J. C.,‏ ‎‡2 ISNI|0000000110776724‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Gordon, Michael J. C.‏ ‎‡2 ISNI|0000000110776724‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Michael J. C. Gordon‏ ‎‡c Computer scientist‏ ‎‡2 ISNI|0000000110776724‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Gordon, Michael J. C‏ ‎‡2 ISNI|0000000110776724‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Gordon, Michael J.C‏ ‎‡2 RERO|A003309129‏ ‎‡3 standard number‏
998 ‎‡a Gordon, Michael J. C.‏ ‎‡2 DNB|134262557‏ ‎‡3 single date‏ ‎‡3 standard number‏
998 ‎‡a Michael J. C. Gordon‏ ‎‡c computer scientist‏ ‎‡2 WKP|Q6831376‏ ‎‡3 suggested‏
998 ‎‡a Gordon‏ ‎‡b Michael J. C.‏ ‎‡2 BNF|12424739‏ ‎‡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 J9U|987007445158405171‏ ‎‡3 single date‏
998 ‎‡a Gordon, Michael J. C.,‏ ‎‡2 LC|n 79060869‏ ‎‡3 single date‏ ‎‡3 standard number‏
998 ‎‡a Gordon, Michael J. C.‏ ‎‡2 NII|DA03224398‏ ‎‡3 exact title: (1.00, 'programminglanguagetheoryanditsimplementationapplicativeandimperativeparadigms', 'programminglanguagetheoryanditsimplementationapplicativeandimperativeparadigms')‏
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 SUDOCBIB|016087933‏
999 ‎‡2 SUDOCBIB|155193988‏
999 ‎‡2 SUDOCBIB|019497385‏
999 ‎‡2 SUDOCBIB|019235429‏
999 ‎‡2 SUDOCBIB|011360771‏