Publié le : 1979-01-01
EUDML-ID :
urn:eudml:doc:182060
@article{GDZPPN002544016,
title = {Le langage et l'interpr\'eteur "Isabelle", sp\'ecialement con\c cus pour utilisations arithm\'etiques},
journal = {Seminaire de Th\'eorie des Nombres de Bordeaux},
volume = {9},
year = {1979},
pages = {1-12},
url = {http://dml.mathdoc.fr/item/GDZPPN002544016}
}
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, Tome 9 (1979) pp. 1-12. http://gdmltest.u-ga.fr/item/GDZPPN002544016/