Preuves constructives de programmes probabilistes

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogFransk
TitelJournées Francophones des Langages Applicatifs
Udgivelsesårjan. 2018
StatusUdgivet - jan. 2018
BegivenhedJournées Francophones des Langages Applicatifs - Observatoire Océanographique, Banyuls-sur-Mer, Frankrig
Varighed: 24 jan. 201827 jan. 2018
Konferencens nummer: 2018
https://www.lri.fr/~sboldo/JFLA18/

Konference

KonferenceJournées Francophones des Langages Applicatifs
Nummer2018
LokationObservatoire Océanographique
LandFrankrig
ByBanyuls-sur-Mer
Periode24/01/201827/01/2018
Internetadresse
SerietitelJournées Francophones des Langages Applicatifs (JFLA)
Nummer2018

Se relationer på Aarhus Universitet Citationsformater

ID: 127226167