Citation
Détails bibliographiques pour Theorem provers
- Nom de la page : Theorem provers
- Auteur : contributeurs de DataFranca
- Éditeur : DataFranca, .
- Dernière modification : 27 octobre 2021 13:18 TUC
- Récupéré : 11 mai 2024, 20:35 TUC
- URL permanente : https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623
- Identifiant de cette version : 57623
Styles de citations pour Theorem provers
Style APA
Theorem provers. (2021, octobre 27). DataFranca, . Récupéré à 20:35, 11 mai 2024 depuis https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623.
Style MLA
« Theorem provers » DataFranca, . 27 oct. 2021, 13:18 UTC. 11 mai 2024, 20:35 <https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623>.
Style MHRA
Contributeurs de DataFranca, « Theorem provers », DataFranca, , 27 octobre 2021, 13:18 UTC, <https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623> [accédé le 11 mai 2024]
Style Chicago
Contributeurs de DataFranca, « Theorem provers », DataFranca, , https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623 (accédé le 11 mai 2024).
Style CBE/CSE
Contributeurs de DataFranca. Theorem provers [Internet]. DataFranca, ; 27 oct. 2021, 13:18 TUC [cité le 2024 mai 11]. Disponible sur : https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623.
Style Bluebook
Theorem provers, https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623 (accédé le 11 mai 2024).
Entrée BibTeX
@misc{ wiki:xxx, author = "DataFranca", title = "Theorem provers --- DataFranca{,} ", year = "2021", url = "https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623", note = "[En ligne ; accédé le 11-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 provers --- DataFranca{,} ", year = "2021", url = "\url{https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623}", note = "[En ligne ; accédé le 11-mai-2024]" }