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é : 5 juin 2024, 04:31 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é à 04:31, 5 juin 2024 depuis https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623.
Style MLA
« Theorem provers » DataFranca, . 27 oct. 2021, 13:18 UTC. 5 juin 2024, 04:31 <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 5 juin 2024]
Style Chicago
Contributeurs de DataFranca, « Theorem provers », DataFranca, , https://datafranca.org/wiki/index.php?title=Theorem_provers&oldid=57623 (accédé le 5 juin 2024).
Style CBE/CSE
Contributeurs de DataFranca. Theorem provers [Internet]. DataFranca, ; 27 oct. 2021, 13:18 TUC [cité le 2024 juin 5]. 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 5 juin 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 5-juin-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 5-juin-2024]" }