VIAF

Virtual International Authority File

Search

Label 00000cx a2200037 45 0
001 BNF|12424739 (VIAF cluster)
003 BNF
005 20220812
035 ‎‡a (BNF)FRBNF124247394‏
010 ‎‡a 0000000110776724‏ ‎‡2 VIAF‏ ‎‡d 20130726‏
039 ‎‡o OPL‏ ‎‡a 010594373‏
039 ‎‡o OPP‏ ‎‡a 17222382‏ ‎‡d 20220812‏
100 ‎‡a 19941010afrey50 ba0‏
101 ‎‡a eng‏
102 ‎‡a GB‏
103 ‎‡a 19480228‏
105 ‎‡a a‏
106 ‎‡a 1‏
120 ‎‡a b‏
152 ‎‡c 2‏
200 | ‎‡7 ba0yba0y‏ ‎‡8 fre‏ ‎‡9 0‏ ‎‡a Gordon‏ ‎‡b Michael J. C.‏ ‎‡f 1948-....‏
300 0 ‎‡a Mathématicien et informaticien‏
400 | ‎‡7 ba0yba0y‏ ‎‡8 fre‏ ‎‡9 ‏ ‎‡a Gordon‏ ‎‡b Mike‏ ‎‡f 1948-....‏ ‎‡c mathématicien‏
801 ‎‡a FR‏ ‎‡b FR-751131015‏ ‎‡c 20220812‏
810 ‎‡a Introduction to HOL: a theorem proving environment for higher order logic / ed. by M. J. C. Gordon and T. F. Melham, 1993‏
810 ‎‡a BLNA, 1994-02: Gordon, M. J. C.‏ ‎‡a LCNA (CD OCLC), 1994-06‏
810 ‎‡a Higher order logic theorem proving and its applications [Texte électronique]: 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 / edited by Luc J.M. Claesen, Michael J.C. Gordon.- Amsterdam; New York: North-Holland, 1993‏
815 ‎‡a Encyclopedic dictionary of mathematics, 1987‏
901 ‎‡a 978052144189‏ ‎‡9 1‏
901 ‎‡a 978044489880‏ ‎‡9 1‏
910 ‎‡a introductiontoholatheoremprovingenvironmentforhigherorderlogic‏ ‎‡A Introduction to HOL a theorem proving environment for higher order logic‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡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‏ ‎‡l eng‏ ‎‡9 1‏
919 ‎‡a introductiontoholatheoremprovingenvironmentforhigherorderlogic‏ ‎‡A Introduction to HOL: a theorem proving environment for higher order logic‏ ‎‡9 1‏
919 ‎‡a higherorderlogictheoremprovinganditsapplicationstexteelectroniqueproceedingsoftheifiptc10wg102internationalworkshoponhigherorderlogictheoremprovinganditsapplicationshol92‏ ‎‡A Higher order logic theorem proving and its applications [Texte électronique]: 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-052‏ ‎‡9 1‏
920 ‎‡a 978-044‏ ‎‡9 1‏
921 ‎‡a cambridge university press‏ ‎‡c Cambridge university press‏ ‎‡9 1‏
921 ‎‡a north holland‏ ‎‡c North-Holland‏ ‎‡9 1‏
922 ‎‡a gb‏ ‎‡b ki‏ ‎‡9 1‏
922 ‎‡a nl‏ ‎‡b nc‏ ‎‡9 1‏
930 ‎‡a m j c gordon‏ ‎‡f ed. by M. J. C. Gordon and T. F. Melham‏ ‎‡9 1‏
940 ‎‡a eng‏ ‎‡9 2‏
941 ‎‡a 340‏ ‎‡4 340‏ ‎‡9 2‏
944 ‎‡a am‏ ‎‡9 2‏
946 ‎‡a b‏ ‎‡9 1‏
947 ‎‡a GB‏ ‎‡9 1‏
948 ‎‡a eng‏ ‎‡9 1‏
950 ‎‡a melham tom f‏ ‎‡A Melham‏ ‎‡b Tom F.‏ ‎‡9 1‏
950 ‎‡a claesen luc j m‏ ‎‡A Claesen‏ ‎‡b Luc J. M.‏ ‎‡9 1‏
951 ‎‡a international workshop on higher order logic theorem proving and its applications 1992 louvain belgique‏ ‎‡A International workshop on higher order logic theorem proving and its applications‏ ‎‡f 1992‏ ‎‡e Louvain, Belgique‏ ‎‡9 1‏
993 ‎‡a Gordon, Michael J. C.,‏ ‎‡t I feel bullied‏ ‎‡2 XR|VIAFWORK1030128397‏ ‎‡3 worktoname‏
993 ‎‡a Gordon, Michael J. C.‏ ‎‡t Denotational description of programming languages‏ ‎‡2 XR|VIAFWORKNUKATn 2019182992‏ ‎‡3 worktoname‏
993 ‎‡a Gordon, Michael J. C.,‏ ‎‡t I feel bullied‏ ‎‡l Greek, Modern (1453-)‏ ‎‡f 2004‏ ‎‡2 XR|VIAFEXP224686272‏ ‎‡3 exprtoname‏
996 ‎‡2 LIH|LNB:BS9_f_;=B_a_‏
996 ‎‡2 NKC|osd20231183959‏
996 ‎‡2 BIBSYS|90709491‏
996 ‎‡2 NII|DA06174398‏
996 ‎‡2 NTA|257382909‏
996 ‎‡2 NDL|00947311‏
996 ‎‡2 J9U|987011416249205171‏
996 ‎‡2 RERO|A003309129‏
996 ‎‡2 ISNI|0000000116060663‏
996 ‎‡2 WKP|Q58920981‏
996 ‎‡2 RERO|A003309128‏
996 ‎‡2 CAOONL|ncf10526909‏
996 ‎‡2 SUDOC|086147285‏
996 ‎‡2 NUKAT|n 2005107078‏
996 ‎‡2 WKP|Q91748002‏
996 ‎‡2 NII|DA16008045‏
996 ‎‡2 NII|DA19464845‏
996 ‎‡2 ISNI|0000000121484321‏
996 ‎‡2 LC|n 90694406‏
996 ‎‡2 CAOONL|ncf11555456‏
996 ‎‡2 LC|n 2023007930‏
996 ‎‡2 SZ|1286512476‏
996 ‎‡2 RERO|A013662263‏
996 ‎‡2 LC|no2016126128‏
996 ‎‡2 CAOONL|ncf11341307‏
996 ‎‡2 NKC|vse20201094852‏
996 ‎‡2 NSK|000171910‏
996 ‎‡2 LC|nb2014013792‏
996 ‎‡2 DNB|139289658‏
996 ‎‡2 NKC|ntk2015863189‏
996 ‎‡2 BNE|XX1725920‏
996 ‎‡2 NSK|000434933‏
996 ‎‡2 NDL|00467356‏
996 ‎‡2 LC|n 2023062143‏
996 ‎‡2 SUDOC|270650679‏
996 ‎‡2 ISNI|0000000077596237‏
996 ‎‡2 NTA|26538947X‏
996 ‎‡2 DNB|140988394‏
996 ‎‡2 NUKAT|n 2023186052‏
996 ‎‡2 J9U|987007261943305171‏
996 ‎‡2 WKP|Q89612479‏
996 ‎‡2 LC|n 2019002582‏
996 ‎‡2 SUDOC|060453990‏
996 ‎‡2 LC|n 88673543‏
996 ‎‡2 ISNI|0000000117800504‏
996 ‎‡2 NUKAT|n 97021343‏
996 ‎‡2 PLWABN|9810561462105606‏
996 ‎‡2 NII|DA10161276‏
996 ‎‡2 SUDOC|080628214‏
996 ‎‡2 DNB|134262506‏
996 ‎‡2 WKP|Q118927154‏
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 J9U|987011292215305171‏
996 ‎‡2 DNB|1136097074‏
996 ‎‡2 BNE|XX4827330‏
996 ‎‡2 BNC|981058530227606706‏
996 ‎‡2 ISNI|0000000030343371‏
996 ‎‡2 RERO|A012831967‏
996 ‎‡2 LC|n 92063931‏
996 ‎‡2 CAOONL|ncf11156744‏
996 ‎‡2 CAOONL|ncf10354921‏
996 ‎‡2 LC|no2015138475‏
996 ‎‡2 N6I|vtls002439650‏
996 ‎‡2 CAOONL|ncf11210942‏
996 ‎‡2 LC|no2001073281‏
996 ‎‡2 DNB|135181054‏
996 ‎‡2 ISNI|0000000392933360‏
996 ‎‡2 LC|n 86120027‏
996 ‎‡2 LC|n 2010001552‏
996 ‎‡2 NUKAT|n 01109978‏
996 ‎‡2 J9U|987007354006305171‏
996 ‎‡2 WKP|Q130534697‏
996 ‎‡2 LIH|LNB:B_v____q_;=CD‏
996 ‎‡2 LC|n 85109584‏
996 ‎‡2 WKP|Q2779402‏
996 ‎‡2 BIBSYS|5000711‏
996 ‎‡2 LC|no2013106892‏
996 ‎‡2 ISNI|0000000035088912‏
996 ‎‡2 J9U|987007371989605171‏
996 ‎‡2 ISNI|000000007250038X‏
996 ‎‡2 BIBSYS|98000573‏
996 ‎‡2 BIBSYS|98055926‏
996 ‎‡2 PTBNP|1444222‏
996 ‎‡2 WKP|Q112412409‏
996 ‎‡2 NTA|242561152‏
996 ‎‡2 J9U|987007445158405171‏
996 ‎‡2 BIBSYS|90897968‏
996 ‎‡2 J9U|987007363697605171‏
996 ‎‡2 PLWABN|9810694832405606‏
996 ‎‡2 ISNI|000000011784104X‏
996 ‎‡2 SIMACOB|125508195‏
996 ‎‡2 NKC|mub20241240323‏
996 ‎‡2 DNB|172116481‏
996 ‎‡2 BIBSYS|10028870‏
996 ‎‡2 CAOONL|ncf11326481‏
996 ‎‡2 PLWABN|9810661789505606‏
996 ‎‡2 LC|n 88229591‏
996 ‎‡2 DNB|125631465X‏
996 ‎‡2 WKP|Q88385891‏
996 ‎‡2 BIBSYS|90708487‏
996 ‎‡2 LC|n 96121733‏
996 ‎‡2 NUKAT|n 2009082664‏
996 ‎‡2 NUKAT|n 2020122072‏
996 ‎‡2 ISNI|0000000417144991‏
996 ‎‡2 CAOONL|ncf12129397‏
996 ‎‡2 DNB|1227955316‏
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 NII|DA03224398‏
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 DNB|1057056030‏
996 ‎‡2 LC|n 2009008658‏
996 ‎‡2 RERO|A005556033‏
996 ‎‡2 SUDOC|085936251‏
996 ‎‡2 DBC|87097968356679‏
996 ‎‡2 CAOONL|ncf10671674‏
996 ‎‡2 PLWABN|9810614254005606‏
996 ‎‡2 DNB|1203725140‏
996 ‎‡2 SUDOC|256467447‏
996 ‎‡2 BNC|981058527990906706‏
996 ‎‡2 PLWABN|9810597729005606‏
996 ‎‡2 NII|DA18189858‏
996 ‎‡2 J9U|987007261942705171‏
996 ‎‡2 PLWABN|9810599516505606‏
996 ‎‡2 ISNI|0000000383979092‏
996 ‎‡2 SUDOC|071398333‏
996 ‎‡2 ISNI|0000000076202611‏
996 ‎‡2 NSK|000226806‏
996 ‎‡2 J9U|987007364269405171‏
996 ‎‡2 CAOONL|ncf11308925‏
996 ‎‡2 J9U|987007261942805171‏
996 ‎‡2 NUKAT|n 00020943‏
996 ‎‡2 PTBNP|1856681‏
996 ‎‡2 BIBSYS|90067937‏
996 ‎‡2 BLBNB|000574094‏
996 ‎‡2 NDL|00927648‏
996 ‎‡2 BIBSYS|90951990‏
996 ‎‡2 LC|n 2017250730‏
996 ‎‡2 BIBSYS|98050034‏
996 ‎‡2 PTBNP|169805‏
996 ‎‡2 LC|no2005088260‏
996 ‎‡2 SUDOC|261615491‏
996 ‎‡2 CAOONL|ncf10027433‏
996 ‎‡2 NII|DA03883306‏
996 ‎‡2 NUKAT|n 2020025919‏
996 ‎‡2 NLA|000035666389‏
996 ‎‡2 LC|no2015132474‏
996 ‎‡2 NII|DA10871373‏
996 ‎‡2 SUDOC|231600577‏
996 ‎‡2 LC|n 00091525‏
996 ‎‡2 DNB|1286512476‏
996 ‎‡2 RERO|A012352172‏
996 ‎‡2 W2Z|90708487‏
996 ‎‡2 BIBSYS|90733461‏
996 ‎‡2 RERO|A012793170‏
996 ‎‡2 B2Q|0000675781‏
996 ‎‡2 NKC|jo2012696229‏
996 ‎‡2 SUDOC|180502352‏
996 ‎‡2 RERO|A027646041‏
996 ‎‡2 ISNI|0000000115682903‏
996 ‎‡2 LC|no2002004043‏
996 ‎‡2 BNE|XX4857991‏
996 ‎‡2 WKP|Q91089107‏
996 ‎‡2 J9U|987012747935905171‏
996 ‎‡2 LC|nb2006005690‏
996 ‎‡2 RERO|A005705672‏
996 ‎‡2 WKP|Q6831376‏
996 ‎‡2 NTA|148739997‏
996 ‎‡2 ISNI|0000000394975986‏
996 ‎‡2 BIBSYS|2083732‏
996 ‎‡2 NII|DA06464219‏
996 ‎‡2 LC|n 82230214‏
996 ‎‡2 LC|n 95803754‏
996 ‎‡2 NTA|32133650X‏
996 ‎‡2 ISNI|0000000035531603‏
996 ‎‡2 WKP|Q112487912‏
996 ‎‡2 LC|no2022045511‏
996 ‎‡2 KRNLK|KAC200301609‏
996 ‎‡2 NKC|pna2008444741‏
996 ‎‡2 NII|DA02768120‏
996 ‎‡2 WKP|Q55716597‏
996 ‎‡2 ISNI|0000000066890385‏
996 ‎‡2 ISNI|0000000129200442‏
996 ‎‡2 NII|DA07442630‏
996 ‎‡2 WKP|Q92110465‏
996 ‎‡2 DBC|87097990832336‏
996 ‎‡2 RERO|A003309109‏
996 ‎‡2 RERO|A003309108‏
996 ‎‡2 NUKAT|n 2009084911‏
996 ‎‡2 DNB|1071375024‏
996 ‎‡2 WKP|Q113681585‏
996 ‎‡2 LC|n 2008037388‏
996 ‎‡2 BNCHL|10000000000000000855182‏
996 ‎‡2 NTA|071740848‏
996 ‎‡2 SUDOC|259845779‏
996 ‎‡2 BIBSYS|97022995‏
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 WKP|Q98894176‏
996 ‎‡2 BIBSYS|90540339‏
996 ‎‡2 PLWABN|9810661854905606‏
996 ‎‡2 NII|DA13364586‏
996 ‎‡2 DNB|13424642X‏
997 ‎‡a 1948 0 lived 0228 0‏ ‎‡9 1‏
998 ‎‡a Gordon, Michael J. C.,‏ ‎‡2 NLA|000035917011‏ ‎‡3 title: (0.66, 'introductiontoholatheoremprovingenvironmentforhigherorderlogic', '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 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 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 DNB|134262557‏ ‎‡3 title: (0.66, 'introductiontoholatheoremprovingenvironmentforhigherorderlogic', 'introductiontohol')‏ ‎‡3 single date‏
998 ‎‡a Michael J. C. Gordon‏ ‎‡c computer scientist‏ ‎‡2 WKP|Q6831376‏ ‎‡3 suggested‏
998 ‎‡a Gordon, M. J. C‏ ‎‡2 NII|DA06781095‏ ‎‡3 exact title: (1.00, 'introductiontoholatheoremprovingenvironmentforhigherorderlogic', 'introductiontoholatheoremprovingenvironmentforhigherorderlogic')‏
998 ‎‡a Gordon, Michael J. C.,‏ ‎‡2 LC|n 79060869‏ ‎‡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 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 PLWABN|9810661854905606‏ ‎‡3 viafid‏
998 ‎‡a Gordon, Michael J.C.,‏ ‎‡c informatica,‏ ‎‡2 NTA|073708569‏ ‎‡3 single date‏ ‎‡3 standard number‏
999 ‎‡2 BNFBIB|FRBNF377270080000002‏
999 ‎‡2 BNFBIB|FRBNF374363950000005‏