Référence:Handbook of practical logic and automated reasoning (Harrison)

Une page de Wikipédia, l'encyclopédie libre.

Édition[modifier le code]

@Book{
Author = {John Harrison},
Title = {Handbook of practical logic and automated reasoning},
Language = {en},
Year = {2009},
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