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 16:06 TUC
- Récupéré : 23 mai 2024, 08:37 TUC
- URL permanente : https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43766
- Identifiant de cette version : 43766
Styles de citations pour Theorem proving
Style APA
Theorem proving. (2021, mars 17). DataFranca, . Récupéré à 08:37, 23 mai 2024 depuis https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43766.
Style MLA
« Theorem proving » DataFranca, . 17 mars 2021, 16:06 UTC. 23 mai 2024, 08:37 <https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43766>.
Style MHRA
Contributeurs de DataFranca, « Theorem proving », DataFranca, , 17 mars 2021, 16:06 UTC, <https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43766> [accédé le 23 mai 2024]
Style Chicago
Contributeurs de DataFranca, « Theorem proving », DataFranca, , https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43766 (accédé le 23 mai 2024).
Style CBE/CSE
Contributeurs de DataFranca. Theorem proving [Internet]. DataFranca, ; 17 mars 2021, 16:06 TUC [cité le 2024 mai 23]. Disponible sur : https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43766.
Style Bluebook
Theorem proving, https://datafranca.org/wiki/index.php?title=Theorem_proving&oldid=43766 (accédé le 23 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=43766", note = "[En ligne ; accédé le 23-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=43766}", note = "[En ligne ; accédé le 23-mai-2024]" }