Aller au contenu

Modèle:Handbook of practical logic and automated reasoning

Ajouter des liens
Une page de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 8 août 2012 à 21:16 et modifiée en dernier par TomT0m (discuter | contributions) (Création). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
(diff) ← Version précédente | Version actuelle (diff) | Version suivante → (diff)

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

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Modèle:Handbook_of_practical_logic_and_automated_reasoning&oldid=81701486 ».