Référence:Handbook of practical logic and automated reasoning (Harrison)
Cette œuvre est référencée dans au moins un article de Wikipédia.
Vous pouvez consulter :
- le modèle de source associé :
{{Handbook of practical logic and automated reasoning}}
; - la liste complète des articles y faisant référence ;
- la liste des utilisateurs possédant l’ouvrage (voir aussi Wikipédia:Bibliothèque) ;
- une liste non exhaustive d’ouvrages utilisés comme référence dans les articles de Wikipédia.
Édition[modifier le code]
- Titre : Handbook of practical logic and automated reasoning
- Auteur : John Harrison
- Édition : Cambridge University Press
- Langue : en
- Publication : 2009
- ISBN : 9780521899574
- John Harrison, Handbook of practical logic and automated reasoning, 2009 (Cambridge University Press) (ISBN 9780521899574)
- Handbook of practical logic and automated reasoning / John Harrison. –, 2009. – – en. – ISBN 9780521899574
- Harrison John, Handbook of practical logic and automated reasoning, 2009, ISBN 9780521899574