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:36 et modifiée en dernier par TomT0m (discuter | contributions) (catégorisation). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

(en) John Harrison, Handbook of practical logic and automated reasoning, Cambridge University Press, [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=81701986 ».