VIAF

Virtual International Authority File

Search

Leader 00000cz a2200037n 45 0
001 SUDOC|077639251 (VIAF cluster) (Authority/Source Record)
005 202109012135.2
008 040423 nfazznn||| |n aaa |d
003 SUDOC
035 ‎‡a (SUDOC)077639251‏
024 7 ‎‡a 0000000109247374‏ ‎‡2 isni‏
035 ‎‡a http://viaf.org/viaf/92193209‏
046 0 ‎‡f 1942‏
100 1 ‎‡a Levi, Giorgio,‏ ‎‡d 1942-....‏
665 ‎‡a En poste à l'Université de Pise, département d'informatique (Italie). Il écrit également des ouvrages sur la céramique, qu'il collectionne‏
670 ‎‡a Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, january 2004: proceedings / Ed. by Bernhard Steffen, Giorgio Levi, Springer, 2004‏
901 ‎‡a 978038717660‏ ‎‡9 2‏
901 ‎‡a 978354017660‏ ‎‡9 2‏
901 ‎‡a 978354047302‏ ‎‡9 1‏
901 ‎‡a 978354047746‏ ‎‡9 1‏
901 ‎‡a 978354024622‏ ‎‡9 1‏
901 ‎‡a 978889495402‏ ‎‡9 1‏
901 ‎‡a 978889495403‏ ‎‡9 1‏
901 ‎‡a 978889633044‏ ‎‡9 1‏
901 ‎‡a 978354047717‏ ‎‡9 1‏
901 ‎‡a 978038717611‏ ‎‡9 2‏
901 ‎‡a 978354017611‏ ‎‡9 2‏
901 ‎‡a 978889495419‏ ‎‡9 1‏
901 ‎‡a 978354020803‏ ‎‡9 1‏
901 ‎‡a 978038758431‏ ‎‡9 1‏
901 ‎‡a 978354058431‏ ‎‡9 1‏
901 ‎‡a 978884672942‏ ‎‡9 1‏
901 ‎‡a 978354049727‏ ‎‡9 1‏
901 ‎‡a 978354048791‏ ‎‡9 1‏
901 ‎‡a 978038755873‏ ‎‡9 1‏
901 ‎‡a 978354055873‏ ‎‡9 1‏
901 ‎‡a 978354065014‏ ‎‡9 1‏
901 ‎‡a 978354039126‏ ‎‡9 1‏
903 ‎‡a 201942649‏ ‎‡9 1‏
903 ‎‡a 201942610‏ ‎‡9 1‏
903 ‎‡a 201942604‏ ‎‡9 1‏
903 ‎‡a 200404367‏ ‎‡9 1‏
903 ‎‡a 940332866‏ ‎‡9 1‏
903 ‎‡a 920232722‏ ‎‡9 1‏
903 ‎‡a 980400400‏ ‎‡9 1‏
909 ‎‡a (isni) 0000000109247374‏ ‎‡9 1‏
910 ‎‡a theoryandpracticeofsoftwaredevelopment‏ ‎‡A Theory and practice of software development /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a tapsoft87proceedingsoftheinternationaljointconferenceontheoryandpracticeofsoftwaredevelopmentpisaitalymarch23271987‏ ‎‡A TAPSOFT '87:‏ ‎‡b proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987.‏ ‎‡l eng‏ ‎‡9 4‏
910 ‎‡a theoryandpracticeofsoftwaredevelopment19871‏ ‎‡A Theory and practice of software development 1987, 1:‏ ‎‡b proceedings /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a algebraicandlogicprogramming3internationalconferencevolterraitalyseptember241992proceedings‏ ‎‡A Algebraic and Logic Programming:‏ ‎‡b Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a verificationmodelcheckingandabstractinterpretation5internationalconferencevmcai2004veniceitalyjanuary11132004proceedings‏ ‎‡A Verification, model checking, and abstract interpretation:‏ ‎‡b 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004:‏ ‎‡b proceedings /‏ ‎‡l eng‏ ‎‡9 2‏
910 ‎‡a ceramicheitaliane501leopoldanzengruberdavietriafirenze19321941‏ ‎‡A Le ceramiche italiane di Leopold Anzengruber da Vietri a Firenze, 1932-1941 /‏ ‎‡l ita‏ ‎‡9 1‏
910 ‎‡a epigoniefalsi501romettilafortunastilisticadellamanifatturaumbracatalogodellamostra23settembre30novembre2016umbertide‏ ‎‡A Epigoni e falsi di Rometti:‏ ‎‡b la fortuna stilistica della manifattura umbra:‏ ‎‡b catalogo della mostra, 23 settembre - 30 novembre 2016, Umbertide /‏ ‎‡l ita‏ ‎‡9 1‏
910 ‎‡a soluzionedelmisterodelleceramichemarcaterbc‏ ‎‡A La soluzione del mistero delle ceramiche marcate RBC /‏ ‎‡l ita‏ ‎‡9 1‏
910 ‎‡a theoryandpracticeofsoftwaredevelopment19872‏ ‎‡A Theory and practice of software development 1987, 2:‏ ‎‡b proceedings /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a wienerwerkstatteelasuainfluenzasullaceramicaitaliana‏ ‎‡A La Wiener Werkstätte e la sua influenza sulla ceramica italiana /‏ ‎‡l ita‏ ‎‡9 1‏
910 ‎‡a algebraicandlogicprogramming4internationalconfernencealp94madridspainseptember1994proceedings‏ ‎‡A Algebraic and logic programming:‏ ‎‡b 4th international confernence, ALP '94, Madrid, Spain, September 1994:‏ ‎‡b proceedings /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a ezionesti1grandeceramistadimenticato‏ ‎‡A Ezio Nesti:‏ ‎‡b un grande ceramista dimenticato /‏ ‎‡l ita‏ ‎‡9 1‏
910 ‎‡a staticanalysis5internationalsymposiumsas98pisaitalyseptember14161998proceedings‏ ‎‡A Static analysis:‏ ‎‡b 5th International Symposium, SAS’98, Pisa, Italy, September 14–16, 1998:‏ ‎‡b proceedings /‏ ‎‡l eng‏ ‎‡9 2‏
910 ‎‡a algebraicandlogicprogramming4internationalconferencealp94madridspainseptember14161994proceedings‏ ‎‡A Algebraic and Logic Programming:‏ ‎‡b 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a algebraicandlogicprogramming3internationalconferencepisaitalyseptember1992proceedings‏ ‎‡A Algebraic and logic programming:‏ ‎‡b third international conference, Pisa, Italy, September 1992: proceedings /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a foundationsoflogicandfunctionalprogrammingworkshoptrentoitalydecember15191986proceedings‏ ‎‡A Foundations of Logic and Functional Programming:‏ ‎‡b Workshop Trento, Italy, December 15–19, 1986 Proceedings /‏ ‎‡l eng‏ ‎‡9 1‏
919 ‎‡a verificationmodelcheckingandabstractinterpretation5internationalconferencevmcai2004veniceitalyjanuary2004proceedings‏ ‎‡A Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, january 2004: proceedings‏ ‎‡9 1‏
920 ‎‡a 978-038‏ ‎‡9 6‏
920 ‎‡a 978-35401‏ ‎‡9 4‏
920 ‎‡a 978-35404‏ ‎‡9 5‏
920 ‎‡a 978-35402‏ ‎‡9 2‏
920 ‎‡a 978-8894‏ ‎‡9 3‏
920 ‎‡a 978-8896‏ ‎‡9 1‏
920 ‎‡a 978-35405‏ ‎‡9 2‏
920 ‎‡a 978-8846‏ ‎‡9 1‏
920 ‎‡a 978-35406‏ ‎‡9 1‏
920 ‎‡a 978-35403‏ ‎‡9 1‏
921 ‎‡a north holland‏ ‎‡b North-Holland,‏ ‎‡9 1‏
921 ‎‡a springer‏ ‎‡b Springer,‏ ‎‡9 3‏
921 ‎‡a gruppo editoriale locale di digital editor srl‏ ‎‡b Gruppo editoriale locale di Digital editor srl,‏ ‎‡9 1‏
921 ‎‡a springer verlag‏ ‎‡b Springer-Verlag,‏ ‎‡9 2‏
922 ‎‡a ne‏ ‎‡b nl‏ ‎‡9 1‏
922 ‎‡a gw‏ ‎‡b de‏ ‎‡9 15‏
922 ‎‡a it‏ ‎‡b it‏ ‎‡9 5‏
930 ‎‡a giorgio levi‏ ‎‡c edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi... [et al.].‏ ‎‡9 12‏
940 ‎‡a eng‏ ‎‡9 16‏
940 ‎‡a ita‏ ‎‡9 5‏
941 ‎‡a editeur scientifique‏ ‎‡e Éditeur scientifique‏ ‎‡9 1‏
941 ‎‡a directeur de la publication‏ ‎‡e Directeur de la publication‏ ‎‡9 16‏
942 ‎‡a NK4210.A536‏ ‎‡9 1‏
942 ‎‡a NK4103‏ ‎‡9 3‏
942 ‎‡a QA76.6‏ ‎‡9 2‏
942 ‎‡a NK‏ ‎‡9 1‏
943 ‎‡a 198x‏ ‎‡9 5‏
943 ‎‡a 201x‏ ‎‡9 5‏
943 ‎‡a 200x‏ ‎‡9 1‏
943 ‎‡a 199x‏ ‎‡9 3‏
944 ‎‡a am‏ ‎‡9 14‏
944 ‎‡a mm‏ ‎‡9 7‏
950 ‎‡a montanari ugo‏ ‎‡A Montanari, Ugo‏ ‎‡d (1943-....).‏ ‎‡9 4‏
950 ‎‡a ehrig hartmut‏ ‎‡A Ehrig, Hartmut‏ ‎‡d (1944-....).‏ ‎‡9 6‏
950 ‎‡a kowalski robert a‏ ‎‡A Kowalski, Robert A..‏ ‎‡9 6‏
950 ‎‡a kirchner helene‏ ‎‡A Kirchner, Hélène‏ ‎‡d (1952-....).‏ ‎‡9 2‏
950 ‎‡a steffen bernhard‏ ‎‡A Steffen, Bernhard‏ ‎‡d (1956-....).‏ ‎‡9 2‏
950 ‎‡a matschiner uta m‏ ‎‡A Matschiner, Uta M.‏ ‎‡d (19..-).‏ ‎‡9 1‏
950 ‎‡a caserta claudio‏ ‎‡A Caserta, Claudio‏ ‎‡d (1962-....).‏ ‎‡9 1‏
950 ‎‡a caputo marinella‏ ‎‡A Caputo, Marinella.‏ ‎‡9 1‏
950 ‎‡a fiorucci lorenzo‏ ‎‡A Fiorucci, Lorenzo.‏ ‎‡9 1‏
950 ‎‡a rodriguez artalejo mario‏ ‎‡A Rodriguez Artalejo, Mario‏ ‎‡d (1951-....).‏ ‎‡9 2‏
950 ‎‡a carlucci aiello luigia‏ ‎‡A Carlucci Aiello, Luigia‏ ‎‡d (1946-....).‏ ‎‡9 1‏
950 ‎‡a boscarol mauro‏ ‎‡A Boscarol, Mauro.‏ ‎‡9 1‏
951 ‎‡a international joint conference on theory and practice of software development pise it 1987 auteur‏ ‎‡A International joint conference on theory and practice of software development‏ ‎‡c (Pise, IT)‏ ‎‡d (1987).‏ ‎‡e Auteur‏ ‎‡9 1‏
951 ‎‡a colloquium on trees in algebra and programming 23 03 1987 pise auteur‏ ‎‡A Colloquium on trees in algebra and programming; 23-03-1987; PISE‏ ‎‡e Auteur‏ ‎‡9 1‏
951 ‎‡a international joint conference on theory and practice of software development tapsoft pise it 1987 auteur‏ ‎‡A International joint conference on Theory and practice of software development. TAPSOFT‏ ‎‡c (Pise, IT)‏ ‎‡d (1987).‏ ‎‡e Auteur‏ ‎‡9 2‏
951 ‎‡a advanced seminar on foundations of innovative software development 2 1987 pise it auteur‏ ‎‡A Advanced seminar on foundations of innovative software development 2; 1987; Pise, IT.‏ ‎‡e Auteur‏ ‎‡9 1‏
951 ‎‡a colloquium on functional and logic programming and specifications cflp 1987 pise it auteur‏ ‎‡A Colloquium on functional and logic programming and specifications. CFLP; 1987; Pise, IT.‏ ‎‡e Auteur‏ ‎‡9 1‏
960 ‎‡a bini e fratelli carmignani firm‏ ‎‡A Bini e fratelli Carmignani (Firm).‏ ‎‡9 1‏
960 ‎‡a ceramiche rometti‏ ‎‡A Ceramiche Rometti.‏ ‎‡9 1‏
960 ‎‡a nesti ezio‏ ‎‡A Nesti, Ezio‏ ‎‡d (....-1937).‏ ‎‡9 1‏
996 ‎‡2 J9U|987007264560205171‏
996 ‎‡2 PTBNP|1458500‏
996 ‎‡2 PTBNP|1716593‏
996 ‎‡2 ICCU|CFIV224431‏
996 ‎‡2 ICCU|CFIV026072‏
996 ‎‡2 ISNI|0000000397883286‏
996 ‎‡2 LC|n 94098077‏
996 ‎‡2 LC|no2020077042‏
996 ‎‡2 PTBNP|1167621‏
996 ‎‡2 ICCU|MILV085286‏
996 ‎‡2 BIBSYS|13066442‏
996 ‎‡2 ICCU|CUBV168295‏
996 ‎‡2 CAOONL|ncf11180353‏
996 ‎‡2 DNB|1219586579‏
996 ‎‡2 ISNI|0000000070603051‏
996 ‎‡2 ISNI|0000000409872374‏
996 ‎‡2 NSK|000565010‏
996 ‎‡2 LC|n 93804338‏
996 ‎‡2 J9U|987007298069805171‏
996 ‎‡2 WKP|Q54261847‏
996 ‎‡2 ICCU|TO0V090934‏
996 ‎‡2 BIBSYS|90770584‏
996 ‎‡2 J9U|987007264446305171‏
996 ‎‡2 PLWABN|9810667976605606‏
996 ‎‡2 ISNI|0000000355568958‏
996 ‎‡2 ICCU|CUBV168298‏
996 ‎‡2 BNE|XX1342610‏
996 ‎‡2 NSK|000281785‏
996 ‎‡2 RERO|A013652708‏
996 ‎‡2 NII|DA08747768‏
996 ‎‡2 PLWABN|9810582251805606‏
996 ‎‡2 LC|no2021085278‏
996 ‎‡2 NLA|000035351755‏
996 ‎‡2 WKP|Q60196012‏
996 ‎‡2 NKC|xx0018584‏
996 ‎‡2 ISNI|0000000383353727‏
996 ‎‡2 NTA|133846806‏
996 ‎‡2 RERO|A003516721‏
996 ‎‡2 DNB|1203157215‏
996 ‎‡2 DE633|pe51009820‏
996 ‎‡2 ICCU|CUBV168367‏
996 ‎‡2 ICCU|CUBV091277‏
996 ‎‡2 DNB|1080038809‏
997 ‎‡a 1942 0 lived 0 0‏ ‎‡9 1‏
998 ‎‡a Levi, Giorgio,‏ ‎‡2 NKC|xx0018584‏ ‎‡3 single date‏
998 ‎‡a Levi, G.‏ ‎‡q (Giorgio),‏ ‎‡2 NLA|000035351755‏ ‎‡3 single date‏
998 ‎‡a Levi, Giorgio‏ ‎‡2 NTA|073469483‏ ‎‡3 exact title: (1.00, 'foundationsoflogicandfunctionalprogrammingworkshoptrentoitalydecember15191986proceedings', 'foundationsoflogicandfunctionalprogrammingworkshoptrentoitalydecember15191986proceedings')‏
998 ‎‡a Giorgio Levi‏ ‎‡2 WKP|Q60196012‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Levi, Giorgio‏ ‎‡2 NII|DA02494808‏ ‎‡3 exact title: (1.00, 'algebraicandlogicprogramming4internationalconferencealp94madridspainseptember14161994proceedings', 'algebraicandlogicprogramming4internationalconferencealp94madridspainseptember14161994proceedings')‏
998 ‎‡a Levi, Giorgio‏ ‎‡2 DNB|1077828853‏ ‎‡3 single date‏ ‎‡3 standard number‏
998 ‎‡a Levi, Giorgio‏ ‎‡2 BIBSYS|90500520‏ ‎‡3 viafid‏ ‎‡3 standard number‏
998 ‎‡a Levi, G.‏ ‎‡q (Giorgio),‏ ‎‡2 CAOONL|ncf11180353‏ ‎‡3 single date‏
998 ‎‡a Levi, G.‏ ‎‡q (Giorgio),‏ ‎‡2 J9U|987007426758705171‏ ‎‡3 title: (0.84, 'foundationsoflogicandfunctionalprogrammingworkshop1986trentoitalyfoundations', 'foundationsoflogicandfunctionalprogrammingworkshoptrentoitalydecember15191986proceedings')‏ ‎‡3 single date‏
998 ‎‡a Levi, G.‏ ‎‡q (Giorgio),‏ ‎‡2 LC|n 87871334‏ ‎‡3 single date‏ ‎‡3 standard number‏
998 ‎‡a Levi, Giorgio‏ ‎‡2 ISNI|0000000109247374‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Levi, Giorgio‏ ‎‡2 ISNI|0000000109247374‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Levi, G.‏ ‎‡2 ISNI|0000000109247374‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Levi, Giorgio‏ ‎‡2 ISNI|0000000109247374‏ ‎‡3 partial date, publisher‏ ‎‡3 suggested‏ ‎‡3 single date‏
998 ‎‡a Levi‏ ‎‡b Giorgio‏ ‎‡2 BNF|12431097‏ ‎‡3 single date‏ ‎‡3 standard number‏
998 ‎‡a Levi, Giorgio‏ ‎‡2 NUKAT|n 98076048‏ ‎‡3 single date‏ ‎‡3 viafid‏ ‎‡3 standard number‏
998 ‎‡a Levi‏ ‎‡b ,Giorgio‏ ‎‡2 ICCU|CFIV224431‏ ‎‡3 single date‏
998 ‎‡a Levi, Giorgio‏ ‎‡2 RERO|A003516725‏ ‎‡3 standard number‏
999 ‎‡2 SUDOCBIB|155203193‏
999 ‎‡2 SUDOCBIB|248344021‏
999 ‎‡2 SUDOCBIB|231138709‏
999 ‎‡2 SUDOCBIB|155220365‏
999 ‎‡2 SUDOCBIB|248344110‏
999 ‎‡2 SUDOCBIB|035972742‏
999 ‎‡2 SUDOCBIB|014655934‏
999 ‎‡2 SUDOCBIB|155234099‏
999 ‎‡2 SUDOCBIB|020892551‏
999 ‎‡2 SUDOCBIB|155174819‏
999 ‎‡2 SUDOCBIB|155228005‏
999 ‎‡2 SUDOCBIB|155223984‏
999 ‎‡2 SUDOCBIB|155212133‏
999 ‎‡2 SUDOCBIB|190036524‏
999 ‎‡2 SUDOCBIB|099448416‏
999 ‎‡2 SUDOCBIB|076315363‏
999 ‎‡2 SUDOCBIB|248633252‏
999 ‎‡2 SUDOCBIB|035972734‏
999 ‎‡2 SUDOCBIB|035994789‏
999 ‎‡2 SUDOCBIB|099353059‏
999 ‎‡2 SUDOCBIB|099453770‏