Modèle:Handbook of practical logic and automated reasoning
Apparence
(en) John Harrison, Handbook of practical logic and automated reasoning, Cambridge University Press, [détail des éditions] (ISBN 9780521899574)
Ceci est la documentation du modèle de source {{Handbook of practical logic and automated reasoning}}.
Syntaxe
{{Handbook of practical logic and automated reasoning}}
Rendu
(en) John Harrison, Handbook of practical logic and automated reasoning, Cambridge University Press, [détail des éditions] (ISBN 9780521899574)
La documentation de ce modèle est générée par le modèle {{Documentation de source}}.
Les éditeurs peuvent travailler dans le bac à sable (créer) et la page de test (créer).
Voir les statistiques d'utilisation du modèle sur l'outil wstat.