Citation
Détails bibliographiques pour Theorem proving
- Nom de la page : Theorem proving
- Auteur : contributeurs de DataFranca
- Éditeur : DataFranca, .
- Dernière modification : 17 mars 2021 20:43 TUC
- Récupéré : 18 mai 2024, 01:02 TUC
- URL permanente : https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43776
- Identifiant de cette version : 43776
Styles de citations pour Theorem proving
Style APA
Theorem proving. (2021, mars 17). DataFranca, . Récupéré à 01:02, 18 mai 2024 depuis https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43776.
Style MLA
« Theorem proving » DataFranca, . 17 mars 2021, 20:43 UTC. 18 mai 2024, 01:02 <https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43776>.
Style MHRA
Contributeurs de DataFranca, « Theorem proving », DataFranca, , 17 mars 2021, 20:43 UTC, <https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43776> [accédé le 18 mai 2024]
Style Chicago
Contributeurs de DataFranca, « Theorem proving », DataFranca, , https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43776 (accédé le 18 mai 2024).
Style CBE/CSE
Contributeurs de DataFranca. Theorem proving [Internet]. DataFranca, ; 17 mars 2021, 20:43 TUC [cité le 2024 mai 18]. Disponible sur : https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43776.
Style Bluebook
Theorem proving, https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43776 (accédé le 18 mai 2024).
Entrée BibTeX
@misc{ wiki:xxx,
author = "DataFranca",
title = "Theorem proving --- DataFranca{,} ",
year = "2021",
url = "https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43776",
note = "[En ligne ; accédé le 18-mai-2024]"
}
Si vous utilisez le package URL dans LaTeX (\usepackage{url} quelque part dans le préambule), qui donne des adresses web mieux formatées, utilisez le format suivant :
@misc{ wiki:xxx,
author = "DataFranca",
title = "Theorem proving --- DataFranca{,} ",
year = "2021",
url = "\url{https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43776}",
note = "[En ligne ; accédé le 18-mai-2024]"
}
