Corpus
PascalFrancis
Racine
Corpus
Checkpoint
PascalFrancis
Racine
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

A. Armando
AI-Lab, DIST, Università di Genova
ITA
000544
DIST - Università di Genova, Viale Causa 13
16145 Genova
ITA
000A25
LORIA-INRIA, 615, rue du Jardin Botanique
54602 Villers les Nancy
FRA
000A25
Alessandro Armando
DIST, University of Genova
ITA
000417
DIST, Università degli Studi di Genova, Viale Causa 13
16145 Genova
ITA
000510
DIST-Università degli Studi di Genova, via all'Opera Pia 13
16145, Genova
ITA
000933
DIST-Università degli Studi di Genova, via all'Opera Pia 13
16145, Genova
ITA
000901
000941
DIST-Università degli Studi di Genova, via all'Opera Pia 13
Genova 16145
ITA
000763
Mechanized Reasoning Group, DIST, Università di Genova
ITA
000807
<g>
<k>Armando A</k>
<l>
<g>
<k>A. Armando</k>
<l>
<g>
<k>
<inist:fA14 i1="01">
<s1>AI-Lab, DIST, Università di Genova</s1>
<s3>ITA</s3>
<sZ>1 aut.</sZ>
<sZ>5 aut.</sZ>
<sZ>10 aut.</sZ>
</inist:fA14>
</k>
<l>
<i>000544</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<inist:fA14 i1="01">
<s1>DIST - Università di Genova, Viale Causa 13 </s1>
<s2>16145 Genova</s2>
<s3>ITA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</k>
<l>
<i>000A25</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<inist:fA14 i1="02">
<s1>LORIA-INRIA, 615, rue du Jardin Botanique</s1>
<s2>54602 Villers les Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</k>
<l>
<i>000A25</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>3</n>
<t>3</t>
</g>
<g>
<k>Alessandro Armando</k>
<l>
<g>
<k>
<inist:fA14 i1="01">
<s1>DIST, University of Genova</s1>
<s3>ITA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</k>
<l>
<i>000417</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<inist:fA14 i1="01">
<s1>DIST, Università degli Studi di Genova, Viale Causa 13</s1>
<s2>16145 Genova</s2>
<s3>ITA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</k>
<l>
<i>000510</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<inist:fA14 i1="01">
<s1>DIST-Università degli Studi di Genova, via all'Opera Pia 13</s1>
<s2>16145, Genova</s2>
<s3>ITA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
</k>
<l>
<i>000933</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<inist:fA14 i1="01">
<s1>DIST-Università degli Studi di Genova, via all'Opera Pia 13</s1>
<s2>16145, Genova</s2>
<s3>ITA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</k>
<l>
<i>000901</i>
<i>000941</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<inist:fA14 i1="01">
<s1>DIST-Università degli Studi di Genova, via all'Opera Pia 13</s1>
<s2>Genova 16145</s2>
<s3>ITA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
</k>
<l>
<i>000763</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<inist:fA14 i1="01">
<s1>Mechanized Reasoning Group, DIST, Università di Genova</s1>
<s3>ITA</s3>
<sZ>1 aut.</sZ>
<sZ>5 aut.</sZ>
</inist:fA14>
</k>
<l>
<i>000807</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>6</n>
<t>7</t>
</g>
</l>
<n>2</n>
<t>10</t>
</g>
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022