VIAF

Virtual International Authority File

Search

Leader 00000cz a2200037n 45 0
001 SUDOC|069337721 (VIAF cluster) (Authority/Source Record)
005 202404270845.0
008 030120 nfazznn||| |n aaa |d
003 SUDOC
035 ‎‡a (SUDOC)069337721‏
024 7 ‎‡a 0000000118276564‏ ‎‡2 isni‏
035 ‎‡a (frBN)009782410‏
035 ‎‡a (FRBNF)123672150‏ ‎‡z (FRBNF)12367215‏
035 ‎‡a http://viaf.org/viaf/77241917‏
035 ‎‡a Q327981‏
035 ‎‡a robinson.john-alan‏
035 ‎‡a https://fr.wikipedia.org/wiki/John_Alan_Robinson‏
100 1 ‎‡a Robinson, John Alan‏
665 ‎‡a Informaticien et philosophe. Spécialiste de modélisation de la pensée. Professeur à Syracuse university, Syracuse, New York, USA (en 1990)‏
670 ‎‡a Natural and artificial parallel computation / ed. by M. A. Arbib and J. A. Robinson, 1990‏
670 ‎‡a LCNA (CD OCLC), 1993-09‏
901 ‎‡a 978085224305‏ ‎‡9 1‏
901 ‎‡a 978019853747‏ ‎‡9 2‏
901 ‎‡a 978019853745‏ ‎‡9 3‏
901 ‎‡a 978019853746‏ ‎‡9 3‏
901 ‎‡a 978026218222‏ ‎‡9 1‏
901 ‎‡a 978044450812‏ ‎‡9 2‏
901 ‎‡a 978044450813‏ ‎‡9 3‏
901 ‎‡a 978026218223‏ ‎‡9 2‏
901 ‎‡a 978044482949‏ ‎‡9 2‏
901 ‎‡a 978026218221‏ ‎‡9 1‏
901 ‎‡a 978019853791‏ ‎‡9 2‏
901 ‎‡a 978026201120‏ ‎‡9 1‏
901 ‎‡a 978019853792‏ ‎‡9 1‏
903 ‎‡a 79312304‏ ‎‡9 1‏
903 ‎‡a 920233588‏ ‎‡9 1‏
903 ‎‡a 900066600‏ ‎‡9 1‏
909 ‎‡a (isni) 0000000118276564‏ ‎‡9 1‏
910 ‎‡a logicformandfunctionthemechanizationofdeductivereasoning‏ ‎‡A Logic: form and function:‏ ‎‡b the mechanization of deductive reasoning /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a handbookoflogicinartificialintelligenceandlogicprogramming‏ ‎‡A Handbook of logic in artificial intelligence and logic programming.‏ ‎‡l eng‏ ‎‡9 9‏
910 ‎‡a handbookofautomatedreasoning‏ ‎‡A Handbook of automated reasoning.‏ ‎‡l eng‏ ‎‡9 3‏
910 ‎‡a naturalandartificialparallelcomputation‏ ‎‡A Natural and artificial parallel computation /‏ ‎‡l eng‏ ‎‡9 1‏
919 ‎‡a naturalandartificialparallelcomputation‏ ‎‡A Natural and artificial parallel computation‏ ‎‡9 1‏
920 ‎‡a 978-085‏ ‎‡9 1‏
920 ‎‡a 978-019‏ ‎‡9 9‏
920 ‎‡a 978-044‏ ‎‡9 3‏
920 ‎‡a 978-026‏ ‎‡9 3‏
921 ‎‡a university press‏ ‎‡b University Press,‏ ‎‡9 1‏
921 ‎‡a clarendon press‏ ‎‡b Clarendon Press,‏ ‎‡9 5‏
921 ‎‡a clarendon press oxford university press‏ ‎‡b Clarendon Press;‏ ‎‡b Oxford University Press,‏ ‎‡9 1‏
921 ‎‡a north holland elsevier the mit press‏ ‎‡b North-Holland:‏ ‎‡b Elsevier;‏ ‎‡b the MIT press,‏ ‎‡9 1‏
921 ‎‡a elsevier‏ ‎‡b Elsevier,‏ ‎‡9 1‏
922 ‎‡a uk‏ ‎‡b gb‏ ‎‡9 9‏
922 ‎‡a us‏ ‎‡b us‏ ‎‡9 2‏
922 ‎‡a ne‏ ‎‡b nl‏ ‎‡9 3‏
930 ‎‡a j a robinson‏ ‎‡c J. A. Robinson.‏ ‎‡9 1‏
940 ‎‡a eng‏ ‎‡9 14‏
941 ‎‡a editeur scientifique‏ ‎‡e Éditeur scientifique‏ ‎‡9 12‏
941 ‎‡a directeur de la publication‏ ‎‡e Directeur de la publication‏ ‎‡9 1‏
942 ‎‡a QA76.63‏ ‎‡9 1‏
942 ‎‡a QA76.58‏ ‎‡9 1‏
943 ‎‡a 197x‏ ‎‡9 1‏
943 ‎‡a 199x‏ ‎‡9 10‏
943 ‎‡a 200x‏ ‎‡9 3‏
944 ‎‡a am‏ ‎‡9 14‏
950 ‎‡a gabbay dov m‏ ‎‡A Gabbay, Dov M.‏ ‎‡d (1945-....).‏ ‎‡9 9‏
950 ‎‡a nute donald‏ ‎‡A Nute, Donald‏ ‎‡d (1947-....).‏ ‎‡9 1‏
950 ‎‡a hogger christopher john‏ ‎‡A Hogger, Christopher John.‏ ‎‡9 6‏
950 ‎‡a siekmann jorg h‏ ‎‡A Siekmann, Jörg H.‏ ‎‡d (1941-....).‏ ‎‡9 2‏
950 ‎‡a siekmann j‏ ‎‡A Siekmann, J..‏ ‎‡9 2‏
950 ‎‡a hogger c j‏ ‎‡A Hogger, C.J..‏ ‎‡9 3‏
950 ‎‡a voronkov andrei‏ ‎‡A Voronkov, Andrei‏ ‎‡d (1959-....).‏ ‎‡9 3‏
950 ‎‡a galton antony‏ ‎‡A Galton, Antony‏ ‎‡d (1952-....).‏ ‎‡9 2‏
950 ‎‡a arbib michael anthony‏ ‎‡A Arbib, Michael Anthony‏ ‎‡d (1940-....).‏ ‎‡9 1‏
955 ‎‡a plotkin gordon‏ ‎‡A Plotkin, Gordon‏ ‎‡d (1946-....).‏ ‎‡9 1‏
955 ‎‡a lassez jean louis‏ ‎‡A Lassez, Jean-Louis.‏ ‎‡9 1‏
969 ‎‡a subject‏ ‎‡9 1‏
996 ‎‡2 BIBSYS|4017642‏
996 ‎‡2 WKP|Q55615178‏
996 ‎‡2 WKP|Q11310811‏
996 ‎‡2 WKP|Q76142470‏
996 ‎‡2 WKP|Q14937306‏
996 ‎‡2 NII|DA0437203X‏
996 ‎‡2 ISNI|0000000044663456‏
996 ‎‡2 CAOONL|ncf10543925‏
996 ‎‡2 LC|nb2002003524‏
996 ‎‡2 RERO|A014147758‏
996 ‎‡2 RERO|A022821216‏
996 ‎‡2 LC|nr 96023706‏
996 ‎‡2 WKP|Q15442483‏
996 ‎‡2 BIBSYS|98050258‏
996 ‎‡2 WKP|Q372624‏
996 ‎‡2 BLBNB|000226924‏
996 ‎‡2 J9U|987007360440105171‏
996 ‎‡2 WKP|Q6234587‏
996 ‎‡2 LC|n 92803132‏
996 ‎‡2 ISNI|0000000027344138‏
996 ‎‡2 NUKAT|n 2012077643‏
996 ‎‡2 ISNI|0000000075588583‏
996 ‎‡2 WKP|Q19325660‏
996 ‎‡2 CAOONL|ncf11155039‏
996 ‎‡2 LC|no2020136948‏
996 ‎‡2 LC|n 2006064337‏
996 ‎‡2 NLA|000054326324‏
996 ‎‡2 WKP|Q41728674‏
996 ‎‡2 LC|n 91097334‏
996 ‎‡2 LC|no2015037455‏
996 ‎‡2 WKP|Q6228299‏
996 ‎‡2 RERO|A018331975‏
996 ‎‡2 WKP|Q57415770‏
996 ‎‡2 WKP|Q58371083‏
996 ‎‡2 RERO|A013866263‏
996 ‎‡2 J9U|987011288775905171‏
996 ‎‡2 LC|n 2013067975‏
996 ‎‡2 WKP|Q108052656‏
996 ‎‡2 WKP|Q75526526‏
996 ‎‡2 DNB|126844887‏
996 ‎‡2 LC|no2003061401‏
996 ‎‡2 WKP|Q114232297‏
996 ‎‡2 ISNI|0000000108636052‏
996 ‎‡2 ISNI|0000000046366148‏
996 ‎‡2 BLBNB|000334854‏
996 ‎‡2 NTA|339741422‏
996 ‎‡2 BIBSYS|1682591864985‏
996 ‎‡2 LC|n 2009050438‏
996 ‎‡2 SIMACOB|251416675‏
996 ‎‡2 NLA|000036211045‏
996 ‎‡2 WKP|Q63161780‏
996 ‎‡2 WKP|Q64433021‏
996 ‎‡2 WKP|Q16065425‏
996 ‎‡2 JPG|500016584‏
996 ‎‡2 WKP|Q112482903‏
996 ‎‡2 WKP|Q31783814‏
996 ‎‡2 WKP|Q6267598‏
996 ‎‡2 WKP|Q21409330‏
996 ‎‡2 LC|no2014057937‏
996 ‎‡2 NII|DA03319698‏
996 ‎‡2 LC|n 2007056968‏
996 ‎‡2 WKP|Q6267595‏
996 ‎‡2 WKP|Q706867‏
996 ‎‡2 DNB|1076871496‏
996 ‎‡2 NDL|00515828‏
996 ‎‡2 J9U|987007390368505171‏
996 ‎‡2 BNC|981058509425706706‏
996 ‎‡2 WKP|Q18810870‏
996 ‎‡2 ISNI|0000000115524497‏
996 ‎‡2 N6I|vtls002173133‏
996 ‎‡2 WKP|Q6274252‏
996 ‎‡2 WKP|Q98760502‏
996 ‎‡2 ISNI|000000011585527X‏
996 ‎‡2 WKP|Q76142254‏
996 ‎‡2 WKP|Q16059917‏
996 ‎‡2 ISNI|0000000050661457‏
996 ‎‡2 ISNI|0000000046601267‏
996 ‎‡2 WKP|Q75941475‏
996 ‎‡2 LC|n 85161648‏
996 ‎‡2 DNB|1145508995‏
996 ‎‡2 WKP|Q41805594‏
996 ‎‡2 NII|DA0098786X‏
996 ‎‡2 DNB|1329679903‏
996 ‎‡2 LC|n 87801566‏
996 ‎‡2 NUKAT|n 2018228879‏
996 ‎‡2 ISNI|0000000069412784‏
996 ‎‡2 NTA|440584736‏
996 ‎‡2 J9U|987007423855605171‏
996 ‎‡2 RERO|A022881004‏
996 ‎‡2 WKP|Q110143614‏
996 ‎‡2 NUKAT|n 2014198917‏
996 ‎‡2 ISNI|0000000025476161‏
996 ‎‡2 WKP|Q89952217‏
996 ‎‡2 LIH|LNB:C_o_1B;=BL‏
996 ‎‡2 LC|nr 96014322‏
996 ‎‡2 LC|nr 91023257‏
996 ‎‡2 LC|no2015126773‏
996 ‎‡2 WKP|Q76142534‏
996 ‎‡2 NTA|104069996‏
996 ‎‡2 WKP|Q55615232‏
996 ‎‡2 WKP|Q76142434‏
996 ‎‡2 LC|n 82007526‏
996 ‎‡2 ISNI|0000000117572329‏
996 ‎‡2 NDL|00525605‏
996 ‎‡2 LC|n 97122326‏
996 ‎‡2 ISNI|0000000510880280‏
996 ‎‡2 WKP|Q21554557‏
996 ‎‡2 BIBSYS|90058641‏
996 ‎‡2 WKP|Q15999963‏
996 ‎‡2 N6I|vtls002248957‏
996 ‎‡2 WKP|Q18753463‏
996 ‎‡2 LC|no2003103813‏
996 ‎‡2 BNF|12100200‏
996 ‎‡2 NTA|316172634‏
996 ‎‡2 LC|no2021018385‏
996 ‎‡2 BNF|12291664‏
996 ‎‡2 LC|n 85008790‏
996 ‎‡2 WKP|Q55245227‏
996 ‎‡2 RERO|A003752133‏
996 ‎‡2 WKP|Q6245582‏
996 ‎‡2 PLWABN|9810649625005606‏
996 ‎‡2 ISNI|0000000073830698‏
996 ‎‡2 ISNI|000000011739987X‏
996 ‎‡2 WKP|Q76232987‏
996 ‎‡2 WKP|Q28542361‏
996 ‎‡2 ISNI|0000000048064549‏
996 ‎‡2 WKP|Q1699331‏
996 ‎‡2 LC|n 2018036374‏
996 ‎‡2 J9U|987007331180105171‏
996 ‎‡2 ISNI|0000000083289241‏
996 ‎‡2 NUKAT|n 2016231650‏
996 ‎‡2 LC|no 91020343‏
996 ‎‡2 ISNI|0000000083817956‏
996 ‎‡2 ISNI|0000000048144899‏
996 ‎‡2 DNB|130293261‏
996 ‎‡2 DNB|1043115196‏
996 ‎‡2 LC|nr 94002383‏
996 ‎‡2 JPG|500067123‏
996 ‎‡2 JPG|500443857‏
996 ‎‡2 WKP|Q85906174‏
996 ‎‡2 ISNI|0000000052443867‏
996 ‎‡2 ISNI|0000000114471637‏
996 ‎‡2 WKP|Q7528022‏
996 ‎‡2 WKP|Q7528023‏
996 ‎‡2 LC|nb2012005694‏
996 ‎‡2 ISNI|0000000114428815‏
996 ‎‡2 WKP|Q30122975‏
996 ‎‡2 WKP|Q76299987‏
996 ‎‡2 LC|no2009098715‏
996 ‎‡2 LC|no2019021225‏
996 ‎‡2 WKP|Q75607797‏
996 ‎‡2 W2Z|98050258‏
996 ‎‡2 LC|nb2009018228‏
996 ‎‡2 NII|DA05988906‏
996 ‎‡2 LC|n 91114894‏
996 ‎‡2 ISNI|0000000045475000‏
996 ‎‡2 WKP|Q125356427‏
996 ‎‡2 NUKAT|n 02021111‏
996 ‎‡2 LC|n 86861835‏
996 ‎‡2 ISNI|0000000070548494‏
996 ‎‡2 NII|DA13254588‏
996 ‎‡2 WKP|Q112430185‏
996 ‎‡2 RERO|A022770179‏
996 ‎‡2 BIBSYS|12012049‏
996 ‎‡2 ISNI|0000000034734927‏
996 ‎‡2 LC|no2023105837‏
996 ‎‡2 WKP|Q16010503‏
996 ‎‡2 WKP|Q106170316‏
996 ‎‡2 WKP|Q76262996‏
996 ‎‡2 PLWABN|9810686204605606‏
996 ‎‡2 BNF|16664255‏
996 ‎‡2 DBC|87097969668119‏
996 ‎‡2 LC|n 2007161595‏
996 ‎‡2 N6I|vtls000286420‏
996 ‎‡2 LC|n 77002292‏
996 ‎‡2 ICCU|LO1V042113‏
996 ‎‡2 ISNI|0000000084731177‏
996 ‎‡2 NKC|jo20221166621‏
996 ‎‡2 LC|no2022045213‏
996 ‎‡2 BNCHL|10000000000000000126498‏
996 ‎‡2 NUKAT|n 2022131741‏
996 ‎‡2 WKP|Q76142261‏
996 ‎‡2 LC|n 78012169‏
996 ‎‡2 DNB|118745581‏
996 ‎‡2 DNB|1168909422‏
996 ‎‡2 LC|no2015058012‏
996 ‎‡2 WKP|Q3951793‏
996 ‎‡2 LC|nr 93015291‏
996 ‎‡2 WKP|Q6237056‏
996 ‎‡2 JPG|500185229‏
996 ‎‡2 WKP|Q76042819‏
996 ‎‡2 WKP|Q96812488‏
996 ‎‡2 NII|DA10773512‏
996 ‎‡2 LIH|LNB:V-321140;=_z_W‏
996 ‎‡2 KRNLK|KAC199623249‏
996 ‎‡2 ISNI|0000000023500826‏
996 ‎‡2 WKP|Q23894740‏
996 ‎‡2 WKP|Q434708‏
996 ‎‡2 BNF|15008318‏
996 ‎‡2 J9U|987007359546505171‏
996 ‎‡2 LC|n 83210723‏
996 ‎‡2 WKP|Q102215369‏
996 ‎‡2 BAV|495_84856‏
996 ‎‡2 LC|nb2014005612‏
996 ‎‡2 WKP|Q112103124‏
996 ‎‡2 CAOONL|ncf11619648‏
996 ‎‡2 WKP|Q75254355‏
996 ‎‡2 ISNI|0000000040964972‏
996 ‎‡2 BNE|XX5784413‏
996 ‎‡2 DNB|1037540441‏
996 ‎‡2 ISNI|0000000049534450‏
996 ‎‡2 DNB|1216345120‏
996 ‎‡2 LC|n 83182119‏
996 ‎‡2 J9U|987007604401405171‏
996 ‎‡2 LC|no2007076211‏
996 ‎‡2 WKP|Q91732176‏
996 ‎‡2 NII|DA08059095‏
996 ‎‡2 WKP|Q18954383‏
996 ‎‡2 NTA|364229837‏
996 ‎‡2 LC|nr2004000795‏
996 ‎‡2 WKP|Q3131721‏
996 ‎‡2 DNB|1212378784‏
996 ‎‡2 PLWABN|9810558119705606‏
996 ‎‡2 WKP|Q115040505‏
996 ‎‡2 NTA|143821229‏
996 ‎‡2 DNB|135683351‏
996 ‎‡2 NUKAT|n 2009158185‏
996 ‎‡2 WKP|Q6252603‏
996 ‎‡2 WKP|Q110141254‏
996 ‎‡2 ISNI|000000004115463X‏
996 ‎‡2 WKP|Q124434785‏
996 ‎‡2 LC|nb 90010382‏
996 ‎‡2 ISNI|0000000447393331‏
996 ‎‡2 WKP|Q75472850‏
996 ‎‡2 ISNI|0000000119502957‏
996 ‎‡2 WKP|Q12792602‏
996 ‎‡2 NKC|xx0020898‏
996 ‎‡2 J9U|987007273650405171‏
996 ‎‡2 WKP|Q2496381‏
996 ‎‡2 ISNI|0000000048693900‏
996 ‎‡2 LNB|LNC10-000012054‏
996 ‎‡2 ISNI|0000000080284023‏
996 ‎‡2 WKP|Q3181936‏
996 ‎‡2 LC|n 91101776‏
996 ‎‡2 ISNI|0000000029555684‏
996 ‎‡2 NTA|134443306‏
996 ‎‡2 ISNI|0000000029854190‏
996 ‎‡2 DNB|1082519340‏
996 ‎‡2 ISNI|0000000047339395‏
996 ‎‡2 WKP|Q76108083‏
997 ‎‡a 0 0 lived 0 0‏ ‎‡9 1‏
998 ‎‡a Robinson, John A.‏ ‎‡2 DNB|124196306‏ ‎‡3 exact title: (1.00, 'handbookoflogicinartificialintelligenceandlogicprogramming', 'handbookoflogicinartificialintelligenceandlogicprogramming')‏
998 ‎‡a Robinson, J. A.‏ ‎‡q (John Alan)‏ ‎‡2 NII|DA01969772‏ ‎‡3 exact title: (1.00, 'logicformandfunctionthemechanizationofdeductivereasoning', 'logicformandfunctionthemechanizationofdeductivereasoning')‏
998 ‎‡a Robinson, J. A.‏ ‎‡q (John Alan)‏ ‎‡2 CAOONL|ncf11267514‏ ‎‡3 title: (0.73, 'logicformandfunction', 'logicformandfunctionthemechanizationofdeductivereasoning')‏
998 ‎‡a Robinson, Alan‏ ‎‡q (J.A.)‏ ‎‡2 NTA|224289527‏ ‎‡3 standard number‏
998 ‎‡a Robinson, John Alan‏ ‎‡2 NSK|000345103‏ ‎‡3 standard number‏
998 ‎‡a Robinson, Alan‏ ‎‡q (John Alan)‏ ‎‡2 LNB|LNC10-000095583‏ ‎‡3 standard number‏
998 ‎‡a Robinson, J. A.‏ ‎‡q (John Alan)‏ ‎‡2 N6I|vtls000005220‏ ‎‡3 title: (0.73, 'logicformandfunction', 'logicformandfunctionthemechanizationofdeductivereasoning')‏
998 ‎‡a Robinson‏ ‎‡b John Alan‏ ‎‡c informaticien‏ ‎‡2 BNF|14506356‏ ‎‡3 standard number‏
998 ‎‡a Robinson, John A.‏ ‎‡2 ISNI|0000000435086828‏ ‎‡3 joint author: (1.00, 'hogger christopher john', 'hogger christopher john')‏
998 ‎‡a Robinson, John Alan‏ ‎‡c informaticien‏ ‎‡2 ISNI|0000000435086828‏ ‎‡3 joint author: (1.00, 'hogger christopher john', 'hogger christopher john')‏
998 ‎‡a Robinson, J. A.‏ ‎‡2 ISNI|0000000435086828‏ ‎‡3 joint author: (1.00, 'hogger christopher john', 'hogger christopher john')‏
998 ‎‡a Robinson‏ ‎‡b John Alan‏ ‎‡2 BNF|12367215‏ ‎‡3 standard number‏
998 ‎‡a Robinson, John Alan‏ ‎‡2 RERO|A003752136‏ ‎‡3 standard number‏
998 ‎‡a Robinson, J. A.‏ ‎‡2 BIBSYS|90199182‏ ‎‡3 viafid‏
998 ‎‡a Robinson, John A.‏ ‎‡2 ISNI|0000000118276564‏ ‎‡3 suggested‏ ‎‡3 joint author: (0.84, 'arbib michael a', 'arbib michael anthony')‏
998 ‎‡a Robinson, John Alan‏ ‎‡2 ISNI|0000000118276564‏ ‎‡3 suggested‏ ‎‡3 joint author: (0.84, 'arbib michael a', 'arbib michael anthony')‏
998 ‎‡a Robinson, J. A.‏ ‎‡2 ISNI|0000000118276564‏ ‎‡3 suggested‏ ‎‡3 joint author: (0.84, 'arbib michael a', 'arbib michael anthony')‏
998 ‎‡a Robinson, John Alan‏ ‎‡2 NUKAT|n 96301114‏ ‎‡3 viafid‏ ‎‡3 standard number‏
998 ‎‡a Robinson, J. A.‏ ‎‡q (John Alan)‏ ‎‡2 J9U|987007278306705171‏ ‎‡3 title: (0.73, 'logicformandfunction', 'logicformandfunctionthemechanizationofdeductivereasoning')‏
998 ‎‡a Robinson, J. A.‏ ‎‡q (John Alan)‏ ‎‡2 LC|n 79050611‏ ‎‡3 standard number‏
998 ‎‡a John Alan Robinson‏ ‎‡c British-American mathematician (1930-2016)‏ ‎‡2 WKP|Q327981‏ ‎‡3 suggested‏
999 ‎‡2 SUDOCBIB|069333890‏
999 ‎‡2 SUDOCBIB|097941573‏
999 ‎‡2 SUDOCBIB|021678995‏
999 ‎‡2 SUDOCBIB|006094708‏
999 ‎‡2 SUDOCBIB|035178140‏
999 ‎‡2 SUDOCBIB|05133481X‏
999 ‎‡2 SUDOCBIB|017353300‏
999 ‎‡2 SUDOCBIB|019488750‏
999 ‎‡2 SUDOCBIB|021746753‏
999 ‎‡2 SUDOCBIB|047085231‏
999 ‎‡2 SUDOCBIB|154843954‏
999 ‎‡2 SUDOCBIB|014723980‏
999 ‎‡2 SUDOCBIB|097941565‏
999 ‎‡2 SUDOCBIB|097941557‏
999 ‎‡2 SUDOCBIB|15484330X‏