Le langage et l'interpréteur 'Isabelle', spécialement conçus pour utilisations arithmétiques

François DRESS

Seminaire de Théorie des Nombres de Bordeaux (1979-1980)

  • Volume: 9, page 1-12

How to cite

top

DRESS, François. "Le langage et l'interpréteur "Isabelle", spécialement conçus pour utilisations arithmétiques." Seminaire de Théorie des Nombres de Bordeaux 9 (1979-1980): 1-12. <http://eudml.org/doc/182060>.

@article{DRESS1979-1980,
author = {DRESS, François},
journal = {Seminaire de Théorie des Nombres de Bordeaux},
pages = {1-12},
title = {Le langage et l'interpréteur "Isabelle", spécialement conçus pour utilisations arithmétiques},
url = {http://eudml.org/doc/182060},
volume = {9},
year = {1979-1980},
}

TY - JOUR
AU - DRESS, François
TI - Le langage et l'interpréteur "Isabelle", spécialement conçus pour utilisations arithmétiques
JO - Seminaire de Théorie des Nombres de Bordeaux
PY - 1979-1980
VL - 9
SP - 1
EP - 12
UR - http://eudml.org/doc/182060
ER -

NotesEmbed ?

top

You must be logged in to post comments.