Corpus
Istex
Racine
Corpus
Checkpoint
Istex
Racine
Istex
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.
Derrien O < Dershowitz N < Deruelle B

Nachum Dershowitz
Department of Computer Science, Tel-Aviv University Ramat Aviv, 69978, Tel-Aviv, Israel
001C97
Department of Computer Science, University of Illinois at Urbana-Champaign, 61801, Urbana, Illinois, U.S.A.
002908
003419
Department of Computer Science, University of Illinois at Urbana-Champaign, 61801, Urbana, Illinois, USA
002467
003611
Department of Computer Science, University of Illinois, 1304 West Springfield Avenue, 61801, Urbana, IL, USA
002942
Department of Computer Science, University of Illinois, 61801, Urbana, IL, USA
000495
000913
E-mail: nachum.dershowitz@cs.tau.ac.il
001078
E-mail: nachum@cs.uiuc.edu
002942
E-mail: nachumd@cs.tau.ac.il
001C97
Microsoft Research, Redmond, WA 98052,  
001078
NONE
000495
000913
001078
001C65
001C97
002467
002908
002942
003419
003611
School of Computer Science, Tel Aviv University, 69978 Ramat Aviv, Israel
001078
School of Computer Science, Tel Aviv University, Ramat Aviv, Israel
001C65
<g>
<k>Dershowitz N</k>
<l>
<g>
<k>Nachum Dershowitz</k>
<l>
<g>
<k>
<mods:affiliation>Department of Computer Science, Tel-Aviv University Ramat Aviv, 69978, Tel-Aviv, Israel</mods:affiliation>
</k>
<l>
<i>001C97</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<mods:affiliation>Department of Computer Science, University of Illinois at Urbana-Champaign, 61801, Urbana, Illinois, U.S.A.</mods:affiliation>
</k>
<l>
<i>002908</i>
<i>003419</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<mods:affiliation>Department of Computer Science, University of Illinois at Urbana-Champaign, 61801, Urbana, Illinois, USA</mods:affiliation>
</k>
<l>
<i>002467</i>
<i>003611</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<mods:affiliation>Department of Computer Science, University of Illinois, 1304 West Springfield Avenue, 61801, Urbana, IL, USA</mods:affiliation>
</k>
<l>
<i>002942</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<mods:affiliation>Department of Computer Science, University of Illinois, 61801, Urbana, IL, USA</mods:affiliation>
</k>
<l>
<i>000495</i>
<i>000913</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<mods:affiliation>E-mail: nachum.dershowitz@cs.tau.ac.il</mods:affiliation>
</k>
<l>
<i>001078</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<mods:affiliation>E-mail: nachum@cs.uiuc.edu</mods:affiliation>
</k>
<l>
<i>002942</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<mods:affiliation>E-mail: nachumd@cs.tau.ac.il</mods:affiliation>
</k>
<l>
<i>001C97</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<mods:affiliation>Microsoft Research, Redmond, WA 98052,  </mods:affiliation>
</k>
<l>
<i>001078</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<mods:affiliation>NONE</mods:affiliation>
</k>
<l>
<i>000495</i>
<i>000913</i>
<i>001078</i>
<i>001C65</i>
<i>001C97</i>
<i>002467</i>
<i>002908</i>
<i>002942</i>
<i>003419</i>
<i>003611</i>
</l>
<n>10</n>
<t>10</t>
</g>
<g>
<k>
<mods:affiliation>School of Computer Science, Tel Aviv University, 69978 Ramat Aviv, Israel</mods:affiliation>
</k>
<l>
<i>001078</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<mods:affiliation>School of Computer Science, Tel Aviv University, Ramat Aviv, Israel</mods:affiliation>
</k>
<l>
<i>001C65</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>12</n>
<t>24</t>
</g>
</l>
<n>1</n>
<t>24</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