Aller au contenu

Modèle:Handbook of practical logic and automated reasoning

Une page de Wikipédia, l'encyclopédie libre.
Ceci est la version actuelle de cette page, en date du 18 août 2017 à 21:50 et modifiée en dernier par FDo64 (discuter | contributions) (Maintenance modèle : ajout documentation avec AWB). L'URL présente est un lien permanent vers cette version.
(diff) ← Version précédente | Version actuelle (diff) | Version suivante → (diff)

(en) John Harrison, Handbook of practical logic and automated reasoning, Cambridge University Press, [détail des éditions] (ISBN 9780521899574)

 Documentation de source[créer] [purger]

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)