VIAF

Virtual International Authority File

Search

Leader 00000cz a2200037n 45 0
001 NTA|073708569 (VIAF cluster)
003 NTA
005 20120803141531.0
008 880929 ||azznnaabn a aaa d
035 ‎‡a (NTA)073708569‏
040 ‎‡a NL-LeOCL‏ ‎‡b dut‏ ‎‡c NL-LeOCL‏ ‎‡e fobidrtb‏
100 1 ‎‡a Gordon, Michael J.C.,‏ ‎‡c informatica,‏ ‎‡d 1948-‏
901 ‎‡a 978013730409‏ ‎‡9 1‏
901 ‎‡a 978013730417‏ ‎‡9 1‏
901 ‎‡a 978354009724‏ ‎‡9 1‏
901 ‎‡a 978038709724‏ ‎‡9 1‏
901 ‎‡a 978354090433‏ ‎‡9 1‏
901 ‎‡a 978038790433‏ ‎‡9 1‏
901 ‎‡a 978044489880‏ ‎‡9 1‏
903 ‎‡a 88009791‏ ‎‡9 1‏
910 ‎‡a programminglanguagetheoryanditsimplementationapplicativeandimperativeparadigms‏ ‎‡A Programming language theory and its implementation:‏ ‎‡b applicative and imperative paradigms /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a operationalreasoninganddenotationalsemantics‏ ‎‡A Operational reasoning and denotational semantics /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a edinburghlcfamechanisedlogicofcomputation‏ ‎‡A Edinburgh LCF:‏ ‎‡b a mechanised logic of computation /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a towardsasemantictheoryofdynamicbinding‏ ‎‡A Towards a semantic theory of dynamic binding /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a denotationaldescriptionofprogramminglanguages‏ ‎‡A The denotational description of programming languages:‏ ‎‡b an introduction /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a higherorderlogictheoremprovinganditsapplicationsproceedingsoftheifiptc10wg102internationalworkshoponhigherorderlogictheoremprovinganditsapplicationshol92organizedbycheopsespritbra3215sponsoredbyimecandthecommissionoftheeuropeancommunitiesleuvenbelgium2124september1992‏ ‎‡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, organized by CHEOPS ESPRIT BRA 3215, sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 /‏ ‎‡l eng‏ ‎‡9 1‏
920 ‎‡a 978-013‏ ‎‡9 1‏
920 ‎‡a 978-038‏ ‎‡9 2‏
920 ‎‡a 978-35400‏ ‎‡9 1‏
920 ‎‡a 978-35409‏ ‎‡9 1‏
920 ‎‡a 978-044‏ ‎‡9 1‏
921 ‎‡a prentice hall‏ ‎‡b Prentice Hall,‏ ‎‡9 1‏
921 ‎‡a national technical information service‏ ‎‡b National Technical Information Service,‏ ‎‡9 2‏
921 ‎‡a springer‏ ‎‡b Springer,‏ ‎‡9 1‏
921 ‎‡a springer verlag‏ ‎‡b Springer-Verlag,‏ ‎‡9 1‏
921 ‎‡a north holland‏ ‎‡b North-Holland,‏ ‎‡9 1‏
922 ‎‡a nyu‏ ‎‡b us‏ ‎‡9 2‏
922 ‎‡a xxu‏ ‎‡b us‏ ‎‡9 2‏
922 ‎‡a gw‏ ‎‡b de‏ ‎‡9 1‏
922 ‎‡a ne‏ ‎‡b nl‏ ‎‡9 1‏
930 ‎‡a michael j c gordon‏ ‎‡c Michael J.C. Gordon.‏ ‎‡9 2‏
930 ‎‡a michael gordon‏ ‎‡c by Michael Gordon.‏ ‎‡9 2‏
930 ‎‡a michael j gordon‏ ‎‡c Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.‏ ‎‡9 1‏
940 ‎‡a eng‏ ‎‡9 6‏
942 ‎‡a QA76.7‏ ‎‡9 2‏
942 ‎‡a QA9.59‏ ‎‡9 1‏
942 ‎‡a QA76.A96‏ ‎‡9 1‏
943 ‎‡a 198x‏ ‎‡9 1‏
943 ‎‡a 197x‏ ‎‡9 4‏
943 ‎‡a 199x‏ ‎‡9 1‏
944 ‎‡a am‏ ‎‡9 6‏
950 ‎‡a milner arthur j‏ ‎‡A Milner, Arthur J.‏ ‎‡9 1‏
950 ‎‡a wadsworth christopher p‏ ‎‡A Wadsworth, Christopher P.‏ ‎‡9 1‏
950 ‎‡a claesen luc j m‏ ‎‡A Claesen, Luc J.M.‏ ‎‡9 1‏
951 ‎‡a international federation for information processing wg 10 2‏ ‎‡A International Federation for Information Processing.‏ ‎‡b WG 10.2.‏ ‎‡9 1‏
951 ‎‡a cheops esprit bra 3215‏ ‎‡A CHEOPS ESPRIT BRA 3215.‏ ‎‡9 1‏
951 ‎‡a international workshop on higher order logic theorem proving and its applications hol 92 1992 leuven‏ ‎‡A International workshop on higher order logic theorem proving and its applications - Hol '92‏ ‎‡d (1992:‏ ‎‡c Leuven)‏ ‎‡9 1‏
996 ‎‡2 LIH|LNB:BS9_f_;=B_a_‏
996 ‎‡2 J9U|987007261942805171‏
996 ‎‡2 ISNI|0000000035531603‏
996 ‎‡2 EGAXA|Balis300953819‏
996 ‎‡2 WKP|Q89612479‏
996 ‎‡2 ISNI|0000000507194124‏
996 ‎‡2 NDL|00947311‏
996 ‎‡2 J9U|987007445158405171‏
996 ‎‡2 ISNI|0000000116060663‏
996 ‎‡2 WKP|Q58920981‏
996 ‎‡2 CAOONL|ncf10526909‏
996 ‎‡2 SUDOC|086147285‏
996 ‎‡2 NUKAT|n 2005107078‏
996 ‎‡2 WKP|Q91748002‏
996 ‎‡2 NUKAT|n 2009082664‏
996 ‎‡2 LC|n 2009008658‏
996 ‎‡2 CAOONL|ncf11341307‏
996 ‎‡2 LC|nb2014013792‏
996 ‎‡2 DNB|139289658‏
996 ‎‡2 NDL|00467356‏
996 ‎‡2 SUDOC|270650679‏
996 ‎‡2 ISNI|0000000077596237‏
996 ‎‡2 NUKAT|n 2023186052‏
996 ‎‡2 RERO|A003309128‏
996 ‎‡2 LC|n 88673543‏
996 ‎‡2 BNF|16154734‏
996 ‎‡2 NLA|000035666389‏
996 ‎‡2 DNB|134262506‏
996 ‎‡2 LC|n 2023007930‏
996 ‎‡2 RERO|A025246453‏
996 ‎‡2 LIH|LNB:CQ0_t_;=B_e_‏
996 ‎‡2 DNB|1136097074‏
996 ‎‡2 BNE|XX4827330‏
996 ‎‡2 BIBSYS|90897968‏
996 ‎‡2 B2Q|0000303890‏
996 ‎‡2 LC|n 92063931‏
996 ‎‡2 LC|nb2006005690‏
996 ‎‡2 LC|no2015138475‏
996 ‎‡2 LC|n 88065117‏
996 ‎‡2 LC|n 2008037388‏
996 ‎‡2 KRNLK|KAC200301609‏
996 ‎‡2 NUKAT|n 01109978‏
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 SUDOC|231600577‏
996 ‎‡2 ISNI|000000007250038X‏
996 ‎‡2 NKC|mub20241240323‏
996 ‎‡2 WKP|Q88385891‏
996 ‎‡2 BNF|12922355‏
996 ‎‡2 J9U|987007363697605171‏
996 ‎‡2 PLWABN|9810694832405606‏
996 ‎‡2 ISNI|000000011784104X‏
996 ‎‡2 WKP|Q118927154‏
996 ‎‡2 BIBSYS|10028870‏
996 ‎‡2 BNF|12095012‏
996 ‎‡2 DNB|125631465X‏
996 ‎‡2 PTBNP|1444222‏
996 ‎‡2 BIBSYS|90708487‏
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 ISNI|0000000115591331‏
996 ‎‡2 WKP|Q1928955‏
996 ‎‡2 RERO|A005556033‏
996 ‎‡2 DBC|87097968356679‏
996 ‎‡2 DNB|1203725140‏
996 ‎‡2 SUDOC|256467447‏
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 SUDOC|261615491‏
996 ‎‡2 NII|DA03883306‏
996 ‎‡2 NUKAT|n 2020025919‏
996 ‎‡2 NII|DA06781095‏
996 ‎‡2 LC|no2015132474‏
996 ‎‡2 LC|no2018046556‏
996 ‎‡2 J9U|987007261942605171‏
996 ‎‡2 B2Q|0000675781‏
996 ‎‡2 NKC|jo2012696229‏
996 ‎‡2 SUDOC|180502352‏
996 ‎‡2 RERO|A027646041‏
996 ‎‡2 ISNI|0000000115682903‏
996 ‎‡2 BNE|XX4857991‏
996 ‎‡2 BNE|XX1725920‏
996 ‎‡2 PLWABN|9810661789505606‏
996 ‎‡2 WKP|Q112487912‏
996 ‎‡2 WKP|Q6831376‏
996 ‎‡2 NII|DA02768120‏
996 ‎‡2 BIBSYS|2083732‏
996 ‎‡2 LC|n 95803754‏
996 ‎‡2 NKC|pna2008444741‏
996 ‎‡2 BIBSYS|90733461‏
996 ‎‡2 J9U|987011416249205171‏
996 ‎‡2 CAOONL|ncf10354921‏
996 ‎‡2 LC|no2022045511‏
996 ‎‡2 J9U|987011292215305171‏
996 ‎‡2 WKP|Q55716597‏
996 ‎‡2 ISNI|0000000129200442‏
996 ‎‡2 NII|DA07442630‏
996 ‎‡2 WKP|Q92110465‏
996 ‎‡2 DBC|87097990832336‏
996 ‎‡2 DNB|135181054‏
996 ‎‡2 RERO|A003309108‏
996 ‎‡2 WKP|Q91089107‏
996 ‎‡2 DNB|1071375024‏
996 ‎‡2 WKP|Q113681585‏
996 ‎‡2 WKP|Q112412409‏
996 ‎‡2 BNCHL|10000000000000000855182‏
996 ‎‡2 SUDOC|259845779‏
996 ‎‡2 BIBSYS|3118986‏
996 ‎‡2 DBC|870979136702238‏
996 ‎‡2 WKP|Q96023756‏
996 ‎‡2 CAOONL|ncf11259103‏
996 ‎‡2 BNF|17222381‏
996 ‎‡2 WKP|Q98894176‏
996 ‎‡2 PLWABN|9810661854905606‏
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, '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 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 Gordon, Michael J. C.‏ ‎‡2 DNB|134262557‏ ‎‡3 single date‏ ‎‡3 standard number‏
998 ‎‡a Gordon, Michael J. C.,‏ ‎‡2 SUDOC|132935368‏ ‎‡3 single date‏ ‎‡3 standard number‏
998 ‎‡a Gordon, Michael J. C.,‏ ‎‡2 LC|n 79060869‏ ‎‡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‏ ‎‡b Michael J. C.‏ ‎‡2 BNF|12424739‏ ‎‡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 PLWABN|9810661854905606‏ ‎‡3 viafid‏
998 ‎‡a Michael J. C. Gordon‏ ‎‡c computer scientist‏ ‎‡2 WKP|Q6831376‏ ‎‡3 suggested‏
999 ‎‡2 NTABIB|898833397‏
999 ‎‡2 NTABIB|781153253‏
999 ‎‡2 NTABIB|899034625‏
999 ‎‡2 NTABIB|906611095‏
999 ‎‡2 NTABIB|69347764‏
999 ‎‡2 NTABIB|69347769‏